Fichas
Raciocínio Lógico
Fichas del conjunto (33)
- 1TautologiaSempre verdadeira
- 2ContradiçãoSempre falsa
- 3ContingênciaPode ser verdadeira ou falsa
- 4AntinominiaUma proposição contradiz a outra
Ex. Mauro é recifense e Mauro não é recifense - 5ParadoxoProposição atômica se contradiz por si só
Ex. Eu sou mentiroso - 6SilogismoConclusã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
- 7NomenclaturaV "ou - disjunção inclusiva"
⊕ "ou...ou - disjunção exclusiva"
^ "e - conjunção"
-> "se então - condicional"
<-> "bicondicional" - 8p -> q Condicional equivalência~q -> ~p
~p V q - 9Condicional Negação~(p -> q) = p ^ ~q
- 10p V q Equivalência~p -> q
- 11Lei de Morgan Negação de conjunção e disjunção inclusiva~ (p ^ q) = ~p v ~q
~ (p v q) = ~p ^ ~q - 12p <-> q Reescrita bicondicional Equivalência bicondicional( p -> q) ^ (q -> p)
- 13Disjunção exclusiva Negação~(p ⊕ q) = p <-> q
- 14Leis comutativasp ^ q = q ^ p
p v q = q v p
p <-> q = q <-> p - 15Propriedade de absorçãoA v ( A ^ B) = A
A ^ (A v B) = A - 16Propriedade idempotentep ^ p = p
p v p = p - 17Leis associativas(p ^ q) ^ r = p ^ (q ^ r)
(p v q) v r = p v (q v r) - 18Leis distributivasp v (q ^ r) = (p v q) ^ (p v r)
- 19Princípio do terceiro excluídoUma proposição só eve ser verdadeira ou falsa, não se admitindo outra possibilidade
Lógica booleana - 20Princípio da não contradiçãoUma proposição não pode ser verdadeira e falsa ao mesmo tempo
Relação com o operador condicional e com as provas por absurdo - 21Princípio da identidadeEstabelece que tudo é idêntico a si mesmo
Relação com o princípio da não contradição - 22Lógica bivalenteToda sentença declarativa possui um único valor de verdade: ou verdadeiro ou falso
- 23Princípios básicos da lógica bivalente1. Princípio do terceiro excluído
2. Princípio da não contradição
3. Princípio da identidade - 24Proposições simples ou compostasProposição simples ou atômica: quando ela não possui nenhum conectivo lógico, apenas uma oração, apenas uma única tese
- 25Proposições categóricasDizem 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 - 26Proposições subalternasQuando uma proposição é condição suficiente para outra
Ex. Todo auditor é engenheiro
Algum auditor é engenheiro (proposição subalterna) - 27Proposições contraditóriasValores lógicos contraditórios
Ex. Todo auditor é engenheiro
Algum auditor não é engenheiro (proposição contraditória) - 28Proposições contráriasQuando podem ser ambas falsas mas nunca ambas verdadeiras
Ex. Todo auditor é engenheiro
Nenhum auditor é engenheiro - 29Proposições subcontráriasQuando podem ser ambas verdadeiras, mas nunca ambas falsas
Ex. Algum auditor é engenheiro
Algum auditor não é engenheiro - 30Antô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 < é ≥ - 31Propriedades matemáticase (*)
ou (+)
p * q = q * p // p ^ q = q ^ p
p + q = q + p // p v q = q v p - 32Tabela verdade
- 33Principais proposições lógicas
Información
- Descripción
- Resumo dos principais assuntos de raciocínio lógico
- Creado por
- Aline Cunha · ene 2023
- Actualizado
- 6 mar 2023
- Visitas
- 57
- Etiquetas
- Valoración