Resumo de Lógica Matemática

Resumo de Lógica Matemática

Cássia Cris Beckel –Matemática LP

Conectivo Forma usual Outras formas Tabela verdade não, não é verdade que, não é o caso que ou é falso que. 1) ~ e, mas, porém, contudo, todavia. 2) V /\ V = V (e) ou, ora ou...ou, ora...ora

3) V ∨∨∨∨ V(ou)

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

“ ou “

Sendo: pq

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

BÉ TAUTOLÓGICA
3) A É SUBCONTRÁRIA DE B, SSE, A v BÉ TAUTOLÓGICA
4) A É INCONSISTENTE COM B, SSE, AB É CONTRA-VÁLIDA

2) A > B, SSE, A

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)

Cássia Cris Beckel –Matemática LP Cássia Cris Beckel –Matemática LP

Comentários