PROPOSIÇÃO

oração

composta Tabela-verdade

condicional: p -> q

bicondicional: p <-> q

disjunção simples: p v q

declarativa

admite valor lógico

V

F

exceções

interrogações

ordens

exclamações

princípios

exclusão do 3º termo

não contradição

ou V ou F

só V ou F

negação

mínimo que contradiz

(Nenhum) Algum cão tem 5 patas.

(Algum/Pelo menos um/Existe...não)Todos os gatos miam.

(Não) Estou com frio.

conjunção: p^q

verdade

ao menos um

implicação

simultaneidade

negação: ~p v ~q

negação: ~p ^ ~q

negação: p ^ ~q

negação: p <-> ~q/ ~p <-> q/ ou p ou q

tipos

disjunção exclusiva: ou p ou q

negação: p <-> q

exclusão

contradição

contingência

tautologia

sempre V

sempre F

às vezes V, às vezes F

equivalentes

~p v q

~q -> ~p (contrapositiva)

inversa: ~p -> ~q

recíproca: q -> q

equivalente:
(p -> q) ^ (q -> p)

p é nec. e sufic. p/ q e vice-versa

p é sufic. a q e q é nec. a p