38543779
Beschreibung
Karteikarten von Aline Cunha, aktualisiert more than 1 year ago
|
|
Erstellt von Aline Cunha
vor fast 2 Jahre
|
|
| Frage | Antworten |
| Tautologia | Sempre verdadeira |
| Contradição | Sempre falsa |
| Contingência | Pode ser verdadeira ou falsa |
| Antinominia | Uma proposição contradiz a outra Ex. Mauro é recifense e Mauro não é recifense |
| Paradoxo | Proposição atômica se contradiz por si só Ex. Eu sou mentiroso |
| Silogismo | Conclusão lógica, perfeita e irrefutável. No silogismo lógico chega-se a uma conclusão a partir de premissas verdadeiras e argumentos válidos |
| Nomenclatura | V "ou - disjunção inclusiva" ⊕ "ou...ou - disjunção exclusiva" ^ "e - conjunção" -> "se então - condicional" <-> "bicondicional" |
| p -> q Condicional equivalência | ~q -> ~p ~p V q |
| Condicional Negação | ~(p -> q) = p ^ ~q |
| p V q Equivalência | ~p -> q |
| Lei de Morgan Negação de conjunção e disjunção inclusiva | ~ (p ^ q) = ~p v ~q ~ (p v q) = ~p ^ ~q |
| p <-> q Reescrita bicondicional Equivalência bicondicional | ( p -> q) ^ (q -> p) |
| Disjunção exclusiva Negação | ~(p ⊕ q) = p <-> q |
| Leis comutativas | p ^ q = q ^ p p v q = q v p p <-> q = q <-> p |
| Propriedade de absorção | A v ( A ^ B) = A A ^ (A v B) = A |
| Propriedade idempotente | p ^ p = p p v p = p |
| Leis associativas | (p ^ q) ^ r = p ^ (q ^ r) (p v q) v r = p v (q v r) |
| Leis distributivas | p v (q ^ r) = (p v q) ^ (p v r) |
| Princípio do terceiro excluído | Uma proposição só eve ser verdadeira ou falsa, não se admitindo outra possibilidade Lógica booleana |
| Princípio da não contradição | Uma proposição não pode ser verdadeira e falsa ao mesmo tempo Relação com o operador condicional e com as provas por absurdo |
| Princípio da identidade | Estabelece que tudo é idêntico a si mesmo Relação com o princípio da não contradição |
| Lógica bivalente | Toda sentença declarativa possui um único valor de verdade: ou verdadeiro ou falso |
| Princípios básicos da lógica bivalente | 1. Princípio do terceiro excluído 2. Princípio da não contradição 3. Princípio da identidade |
| Proposições simples ou compostas | Proposição simples ou atômica: quando ela não possui nenhum conectivo lógico, apenas uma oração, apenas uma única tese |
| Proposições categóricas | Dizem respeito a uma categoria e não apenas a um indivíduo - universais: todos os elementos de uma categoria - todos, nenhum, nunca, sempre - particulares: alguns elementos de uma categoria - algum, alguns, a maioria, parte |
| Proposições subalternas | Quando uma proposição é condição suficiente para outra Ex. Todo auditor é engenheiro Algum auditor é engenheiro (proposição subalterna) |
| Proposições contraditórias | Valores lógicos contraditórios Ex. Todo auditor é engenheiro Algum auditor não é engenheiro (proposição contraditória) |
| Proposições contrárias | Quando podem ser ambas falsas mas nunca ambas verdadeiras Ex. Todo auditor é engenheiro Nenhum auditor é engenheiro |
| Proposições subcontrárias | Quando podem ser ambas verdadeiras, mas nunca ambas falsas Ex. Algum auditor é engenheiro Algum auditor não é engenheiro |
| Antônimos absolutos (em geral não devem ser usados antônimos para negar, somente esses são aceitos) | negação de = é ≠ negação de > é ≤ negação de < é ≥ |
| Propriedades matemáticas | e (*) ou (+) p * q = q * p // p ^ q = q ^ p p + q = q + p // p v q = q v p |
| Tabela verdade | |
| Principais proposições lógicas |
Möchten Sie mit GoConqr kostenlos Ihre eigenen Karteikarten erstellen? Mehr erfahren.