Cássia Cris Beckel –Matemática LP
CONECTIVOS LÓGICOS
Conectivo Forma usual Outras formas Tabela verdade
~ “não” não, não é verdade que, não é o
caso que ou é falso que. 1) ~
^ “ e ” e, mas, porém, contudo,
todavia. 2) V /\ V = V (e)
V
∨
∨∨
∨
“ou”
e
“ou...ou”
ou, ora
ou...ou, ora...ora
3) F v F = F (ou)
3) V ∨
∨∨
∨ V
(ou)
F ∨
∨∨
∨ F (ou...ou)
“se...então”
p implica q, logo, portanto, p é
condição suficiente para q, q é
condição necessária
proveniente de p, acarreta, em
conseqüência, assim, daí, por
conseguinte.
4) V F = F (...se,
então)
“...se, e somente
se...” biimplica, condição necessária
e suficiente 5) F F
V V
“ e ”
“ ou “
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.
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
F
V (sse)
