Lógica Proposicional Parte 4

Lógica Proposicional
Negação de proposição
condicional
Não é verdade que se o Sol é uma

estrela, então Marte é um satélite.
• Condicional: p → q
• Negação: ~(p → q)
p q p→q ~(p → q) p q ~q p  ~q
V V V F V V F F
V F F V V F V V
F V V F F V F F
F F V F F F V F
Tabelas verdade idênticas
~(p → q)  p  ~q
condicional
A negação de
Se o Sol é uma estrela, então Marte é um satélite
O Sol é uma estrela e Marte não é um satélite.

Condicional: p → q
Negação: ~(p → q)  p  ~q
Logo, p → q  ~p  q
Isto é, a proposição
Se o Sol é uma estrela, então a Terra é plana.
É logicamente equivalente à proposição
O Sol não é uma estrela ou a Terra é plana.
p q p→q ~p ~p  q
Como p → q e ~p  q
V V V F V
têm tabelas verdade
V F F F F Idênticas, então
F V V V V p → q  ~p  q
F F V V V
bicondicional
Não é verdade que: o Sol é uma estrela

se, e somente se Marte é um satélite.
Qual a proposição equivalente?
Bicondicional: p  q
p  q  (p → q)  (q → p)
(Verifique, é fácil)
~(p  q)  ~((p → q)  (q → p))
~(p  q)  ~(p → q)  ~(q → p)
~(p  q)  (p  ~q)  (q  p)

bicondicional
A negação de
O Sol é uma estrela se, e somente
se Marte é um satélite.
é
O Sol é uma estrela e Marte não é
um satélite, ou Marte é um satélite
e o Sol não é uma estrela
Em
~(p  q)  (p  ~q)  (q  p)
podemos trocar q  p por ~p  q?
Ou seja, q  p  ~p  q?

Lógica Proposicional Parte 4

Enviado por

Direitos autorais:

Formatos disponíveis

Lógica Proposicional Parte 4

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lógica Proposicional Parte 4

Enviado por

Direitos autorais:

Formatos disponíveis

Lógica Proposicional

Não é verdade que se o Sol é uma

Tabelas verdade idênticas

O Sol é uma estrela e Marte não é um satélite.

Não é verdade que: o Sol é uma estrela

~(p  q)  ~((p → q)  (q → p))

~(p  q)  ~(p → q)  ~(q → p)

~(p  q)  (p  ~q)  (q  p)

podemos trocar q  p por ~p  q?

Você também pode gostar