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