Raciocínio Lógico

Question	Answer
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	Image: Tabela+Verdade (binary/octet-stream)
Principais proposições lógicas	Image: Principais+Proposições+Lógicas (binary/octet-stream)

Next up

Description

Resource summary

Similar

	Created by Aline Cunha about 1 year ago