CONECTIVOS LÓGICOS

Conectivo Forma usual Outras formas Tabela verdade

não, não é verdade que, não é o
~ “não”
caso que ou é falso que.
1) ~
e, mas, porém, contudo,
^ “e”
todavia.
2) V /\ V = V (e)

V “ou” ou, ora 3) F v F = F (ou)

e 3) V ∨ V (ou)
∨ “ou...ou” ou...ou, ora...ora F ∨ F (ou...ou)
F
p implica q, logo, portanto, p é
condição suficiente para q, q é
condição necessária 4) V F = F (...se,
“se...então”
proveniente de p, acarreta, em então)
conseqüência, assim, daí, por
conseguinte.
“...se, e somente biimplica, condição necessária 5) F F
se...” e suficiente V (sse)
V V
“e”
“ ou “

Fórmulas lógicas
Fórmula Tautológica: Apenas valores Vs no final
Fórmula contra-válida: Apenas valores Fs no final
Fórmula indeterminada: Apresenta VS e Fs no final

Sendo: p q
Recíproca: q p
Contrária ou inversa: ~p ~q
Contra-positiva: ~q ~p
Contrária da recíproca: ~q ~p
Recíproca da contrária: ~q ~p

Relações Lógicas
1) A < > B, SSE, A B É TAUTOLÓGICA
2) A > B, SSE, A

 B É TAUTOLÓGICA
3) A É SUBCONTRÁRIA DE B, SSE, A v B É TAUTOLÓGICA
4) A É INCONSISTENTE COM B, SSE, A ^ B É CONTRA-VÁLIDA
5) A E B SÃO CONTRADITÓRIAS, QDO, SÃO SUBCONTRÁRIAS E
INCOSISTENTES AO MESMO TEMPO.

Cássia Cris Beckel –Matemática LP

Cássia Cris Beckel –Matemática LP