LÓGICA SIMBÓLICA
LÓGICA SIMBÓLICA
Conjunção
Uma Uma conjunção só conjunção só
será será verdadeira, verdadeira,
quando ambas quando ambas as partes que as partes que
a compõe a compõe também também forem forem
verdadeiras. E verdadeiras. E falsa nos falsa nos
demais casos.demais casos.
pp qq p ∧p ∧ qq
VV VV V V
VV FF F F
FF VV F F
FF FF F F
Disjunção
Uma Uma disjunção disjunção
inclusiva será inclusiva será falsa quando falsa quando
as duas partes as duas partes que a compõe que a compõe forem ambas forem ambas
falsas! falsas!
pp qq p p v qq
VV VV V V
VV FF V V
FF VV V V
FF FF F F
Disjunção
E uma E uma disjunção disjunção
exclusiva será exclusiva será falsa quando falsa quando
as duas partes as duas partes que a compõe que a compõe forem ambas forem ambas
iguais! iguais!
pp qq p p w qq
VV VV F F
VV FF V V
FF VV V V
FF FF F F
Condicional
Só será falsa Só será falsa esta estrutura esta estrutura
quando quando houver a houver a condição condição
suficiente, suficiente, mas o mas o
resultado resultado necessário necessário
não se não se confirmar.confirmar.
pp qq p → qp → q
VV VV V V
VV FF F F
FF VV V V
FF FF V V
Bicondicional
Será Será verdadeira verdadeira
quando quando antecedente e antecedente e consequente consequente forem ambos forem ambos verdadeiros, verdadeiros, ou quando ou quando
forem ambos forem ambos falsos. falsos.
pp qq p p q q
VV VV V V
VV FF F F
FF VV F F
FF FF V V
Se Pedro Se Pedro estuda, então estuda, então será aprovado.será aprovado.
(p → q)(p → q)Pedro não foi Pedro não foi
aprovado.aprovado.(~q)(~q)
Então, Pedro Então, Pedro não estudou.não estudou.
(~p)(~p)[(p → q).~q] [(p → q).~q]
→~p→~p
TautologiaTautologia
Enunciados Enunciados tautológicos são tautológicos são
aqueles aqueles enunciados que enunciados que sempre resultam sempre resultam
verdadeiros, verdadeiros, portanto, o portanto, o
argumento é um argumento é um argumento válido.argumento válido.
Aterra é um Aterra é um planeta.planeta.
ppA Terra não é A Terra não é um planeta.um planeta.
(~p)(~p)
ContradiçãoContradição
Os enunciados Os enunciados cuja característica cuja característica
são aqueles são aqueles enunciados que enunciados que sempre resultam sempre resultam
em falsidade.em falsidade.pp ~p~p p p v ~p~p
VV F F F F
FF VV F F
Pensando bem!
AtividadeAtividade
FAZER ATIVIDADE DO LIVRO:
PÁGINA 148
1º; 3º; 4º; 5º e 6º.
“Sobre o que não se pode falar,
deve-se calar.”
Ludwig Ludwig WittgensteinWittgenstein