Deck 4 Flashcards
Equivalências lógicas são quando
Duas proposições possuem a mesma sequência de valoração na tabela verdade
(p–>q) é equivalente a
INVERTE NEGA NEGA
(~q) –>(~p)
NEouMA
(~p)vq
Se Carlos viaja então Carlos não estuda. É equivalente a
Se Carlos estuda então Carlos não viaja.
Pode ser também:
Carlos não viaja ou Carlos não estuda. No conectivo “ou” pode comutar. “Carlos não estuda ou Carlos não viaja.
( P v Q) é equivalente a
NE ou MA
(~P) –> Q
Se os impostos não sobem, então a receita não cresce. É equivalente a
Se a receita cresce, então os impostos sobem.
Os impostos sobem ou a receita não cresce.
Pedro não é pedreiro ou Paulo é Paulista. É equivalente a
Se Pedro é pedreiro, então Paulo é Paulista.
(P <–> Q) é equivalente a
(~P) <–> (~Q)
(P–>Q) ^ (Q –>P)
A frase “ Pedro ganha dinheiro se somente se ele trabalhar.” É equivalente a
Pedro não ganha dinheiro se somente se ele não trabalhar.
Se Pedro ganha dinheiro então trabalha e se Pedro trabalha então ganha dinheiro.
(P_v Q) é equivalente a
(~P) _v (~Q)
NE _v NE
A frase “Eu vou à festa ou estudo” é equivalente a
Ou não vou à festa ou não estudo.
