3142692
| Question | Answer |
| O que é uma proposição? | sentença que pode ser valorada. Cuidado com sentenças abertas "ele ...","x...." |
| Princípios da fundamentais da lógica (3)? | 1 - Identidade (prop. Verdadeira é sempre verdadeira, F sempre F) 2- Não contradição (não pode possuir 2 valores lógicos) 3 - Terceiro excluído (não há +/-) |
| conectivos lógicos (6) | A ∧ B : Conjunção (e) A ∨ B : Disjunção (ou) A v_ B disjunção exclusiva (ou...ou) A ⇒ B : condicional (se..., então) A ⇔ B : bicondicional (se somente se) Negação: ¬A ou ~A |
| Quantas linhas tem a tabela verdade? | 2ª (a sendo o numero de proposições simples da proposição composta) |
| Preencher a tabela verdade | 1P: A metade das linhas V; 2P: A metade V da 1P; 3P: A metade V da 2P e assim por diante. |
| Tabela verdade de A ∧ B : Conjunção (e) | Verdadeira apenas quando há simultaneidade de V nas proposições. |
| Tabela verdade de A ∨ B : Disjunção (ou) | Falsa apenas quando há ausência de verdade nas proposições |
| Tabela verdade de A v_ B : Disjunção exclusiva (ou...ou) | verdadeira apenas quando há diferentes valores lógicos nas proposições |
| Tabela verdade de A ⇒ B : condicional (se..., então) | Vagner Falou ta Falado (V ⇒ F: F) |
| A ⇔ B : bicondicional (se somente se) | BI ( EXIGE 2 VALORES LÓGICOS SIMULTÂNEOS) |
| Complete: Negar uma proposição é? (¬A ou ~A) | fazer com que ela assuma valor lógico diferente do atual. NÃO NECESSARIAMENTE ADICIONANDO "NÃO" |
| Ordem de precedência para montar equações lógicas. | (~A∧B) ⇒ C |
| Leis de Morgan (negação das seguintes proposições) A ∧ B : Conjunção (e) A ∨ B : Disjunção (ou) | Negação de conjunção e disjunção. A ∧ B = ~A ∨ ~B A ∨ B = ~A ∧ ~B |
| Negação de condicional A ⇒ B (Se A então B) | A ∧~B (A e não B) |
| Negação de A v_ B : Disjunção exclusiva (ou...ou) | Basta usar uma bicondicional (A se somente se B) pois assim os valores lógicos da tabela verdade são negados. |
| A ⇔ B é equivalente a A ⇒ B ∧ B ⇒ A, sabendo disso, outra maneira de se negar A se somente se B é: | A ⇒ B ∧ B ⇒ A Negando: A ⇒ ~B v B ⇒ ~A lembre-se de negar o conectivo E com OU. |
| Resumindo quadro de negações | |
| Equivalência de condicional A⇒B (2) | Com disjunção: ~A v B contrapositiva: ~B ⇒ ~A |
| Tautologia | proposições composições compostas com valores V, Independente dos valores de suas proposições simples. |
| Contradição | proposições compostas com valores F, Independente dos valores de suas proposições simples. |
| Contingência | Não é tautologia e não é contradição. |
| Silogismo | Argumento composto de duas premissas e uma conclusão. P1: P2: C: |
| Para resolução de questões de argumentação lógica consideramos sempre que as premissas são verdadeiras. | Pela Tabela verdade, Usar até 3 proposições. Uma linha toda verdadeira prova que o argumento é válido. |
| Método de resolução para questões de argumentação lógica. Partir de conjunções | Procurar a premissa mais simples (CONJUNÇÃO), a partir dela atribuir valores lógicos para o restante lembrando que as premissas sempre são verdadeiras, até que se prove o contrário. |
| TÉCNICA DA CONCLUSÃO (ARGUMENTAÇÃO LÓGICA) | Assumir que a conclusão é falsa (usar quando a conclusão é falta em apenas uma linha: Condicional, disjunção) |
| quantificadores universais e existenciais(particulares). | quantificador universal "para todo" ∀ quantificador existencial "existe algum,pelo menos um" ∃ |
| Equivalência e Negação de quantificadores universais e existenciais. | |
| Só o que precisa de análise |
Want to create your own Flashcards for free with GoConqr? Learn more.