A- Se o ru culpado,

ento ficar nervoso na

audincia.
B- O ru ficou nervoso.

CULPADO?


OBJETIVOS
Identificar os conectivos
lgico-matemticos (Cn);

Entender a lgica de operao dos
conectivos apresentados (Cn).
ROTEIRO
Proposies

Lgica Proposicional

Conectivos Lgicos
Tabelas Verdade
PROPOSIES
CONCEITO:
Proposio uma sentena declarativa
afirmativa sobre a qual se tenha sentido
afirmar que ou seja verdadeira ou seja falsa.

A lua quadrada.
O cavalo voa.
Seis o dobro de trs.
A Lei urea foi assinada em 1888.

As proposies acima so ditas simples.

ROTEIRO
Proposies
Lgica Proposicional
CONSIDERAES
Observem:

Que dia maravilhoso!

Ser que hoje vai chover?

Imperativos.

x + 2 = 7

A sentena O cavalo no voa. uma
proposio? modificador
ROTEIRO
Proposies
Lgica Proposicional
PROPOSIES
COMPOSTAS

Proposies Compostas:
So formadas por duas ou mais simples.
Joo alto E Renata baixa.
Hoje feriado OU a Terra um planeta.
Se fizer sol, ento irei praia.
Nota: Utilizam-se letras do alfabeto latino para
representar proposies. Normalmente, minsculas
para as simples e maisculas para as compostas.
Ex: p, q, R, s
ROTEIRO
Proposies
Lgica Proposicional
CONECTIVOS
LGICOS
Notas: Os smbolos e ~ se referem negao.
O smbolo V refere-se ao OU exclusivo.
ROTEIRO
Proposies
Lgica Proposicional
A LGICA DA
NEGAO
1. NEGAO ( ; ~ )

- Transforma o que verdadeiro em falso e
vice-versa.

- Negar uma sentena um nmero par de
vezes o mesmo que manter o valor lgico
da sentena.

ROTEIRO
Proposies
Lgica Proposicional
A LGICA DA
NEGAO
Observaes:

A negao de A parede branca :
- A parede NO branca.

Qual a negao de A mulher feia ?
- A mulher NO feia.

ROTEIRO
Proposies
Lgica Proposicional
TABELA -VERDADE
Tabela-Verdade da Negao
Negao
p ~ p
Verdadeiro Falso
Falso Verdadeiro
ROTEIRO
Proposies
Lgica Proposicional
A LGICA DO
OU
2. DISJUNO ( V )

- Ser verdade se pelo menos uma das
proposies simples for verdadeira.
ROTEIRO
Proposies
Lgica Proposicional
Ex: Concurso para professor de Clculo 1.
Fsicos ou Matemticos

Cuidado: Carlos mineiro ou carioca.

Disjuno Exclusiva (ou...ou ; V ): Somente uma
das proposies deve ser verdadeira para que a
proposio composta tambm seja.

TABELA -VERDADE
ROTEIRO
Proposies
Lgica Proposicional
Tabela-Verdade da Disjuno
Disjuno (ou)
p q p v q
Verdadeiro Verdadeiro V
Verdadeiro Falso V
Falso Verdadeiro V
Falso Falso F
TABELA -VERDADE
ROTEIRO
Proposies
Lgica Proposicional
Tabela-Verdade da Disjuno (Exclusiva)
Disjuno (ou...ou)
p q p v q
Verdadeiro Verdadeiro F
Verdadeiro Falso V
Falso Verdadeiro V
Falso Falso F
A LGICA DO
E
3. CONJUNO ( )

- Ser verdade somente se as proposies
que lhe do origem so conjuntamente
verdadeiras.

Ex: Pedro alto e Jlio rico.



ROTEIRO
Proposies
Lgica Proposicional
TABELA -VERDADE
ROTEIRO
Proposies
Lgica Proposicional
Tabela-Verdade da Conjuno
Conjuno ( e )
p q p q
Verdadeiro Verdadeiro V
Verdadeiro Falso F
Falso Verdadeiro F
Falso Falso F
A LGICA DO
Se ... Ento
4. CONDICIONAL ( )

- Somente ser Falsidade se a primeira proposio
for verdadeira e a segunda falsa.
Ex: Se fizer sol, ento irei praia.
ROTEIRO
Proposies
Lgica Proposicional
TABELA -VERDADE
ROTEIRO
Proposies
Lgica Proposicional
Tabela-Verdade da Condicional
Condicional (Se...ento)
p q
p q
Verdadeiro Verdadeiro V
Verdadeiro Falso F
Falso Verdadeiro V
Falso Falso V
A LGICA DO
Se e somente se
5. BICONDICIONAL ( )

- Ser Verdade no caso de as duas proposies
terem o mesmo valor lgico.

Ex: Se e somente se fizer sol, irei praia.



ROTEIRO
Proposies
Lgica Proposicional
TABELA -VERDADE
ROTEIRO
Proposies
Lgica Proposicional
Tabela-Verdade da Bicondicional
Bicondicional (Se e somente se)
p q p q
Verdadeiro Verdadeiro V
Verdadeiro Falso F
Falso Verdadeiro F
Falso Falso V
ROTEIRO
Proposies

Lgica Proposicional

Conectivos Lgicos
Tabelas Verdade
OBJETIVOS
Identificar os conectivos
lgico-matemticos (Cn);

Entender a lgica de operao dos
conectivos apresentados (Cn).
A- Se o ru culpado,
ento ficar nervoso na
audincia.
B- O ru ficou nervoso.

CULPADO?


NO POSSVEL JULGAR COM
BASE NESSE ARGUMENTO!
A Lgica estuda as leis do pensamento,
e as formas de aplicar essas leis
corretamente na investigao da
verdade.

Aristteles (384-322 a.C.)