Lógica

Prévia do material em texto

preposição
A preposição é uma oração declarativa com valor lógico.
Precisa de:
-verbo
-não pode ser interrogativa, exclamativa ou imperativa
-precisa de um valor lógico
Podemos ter como preposições diversas letras, porém as mais usuais são p e q.
Negação (~)
A negação é o oposto de uma preposição e é representado por "~"
Exemplo: ~p é a negação de p.
Tabela verdade de "~"
 p ~p
 V F 
 F V
Postulado: ~p é o oposto de p
Conjunção "E" (^) 
A conjunção "E" é utilizada entre duas preposições 
Exemplo: p^q
Tabela verdade de "E"
 p q p^q
 V V V
 V F F
 F V F
 F F F
Postulado: para ser verdadeiro ambas as preposições são verdadeiras.
Disjunção "OU" (v)
A disjunção "OU" é utilizada entre duas preposições 
Exemplo: p v q
Tabela verdade de "OU"
 p q p v q
 V V V
 V F V
 F V V
 F F F
Postulado: para ser falso ambas as preposições são falsas.
Condicional (→)
Se...então 
Exemplo: p→q = Se p então q 
Tabela verdade de "→"
 p q p→q
 V V V
 V F F
 F V V
 F F V
Lógica
 Página 1 de matemática 
 F F V
Postulado: pare ser falso a primeira preposição é verdadeira e a segunda é falsa.
Bicondicional ()
...Se e somente se ...
Exemplo: pq = p se e somente se q
Tabela verdade de ""
 p q pq
 V V V
 V F F
 F V F
 F F V
Postulado: para ser verdadeiro ambas as preposições possuem o mesmo valor lógico
Tautologia
Tudo será verdadeiro 
Contradição 
Tudo será falso
Contingencia 
Não é nem uma tautologia nem uma contradição, é uma preposição indeterminada
 Página 2 de matemática