RLM - Equivalência e Negação

Prévia do material em texto

RLM - Equivalência e Negação
RLM - Equivalência e Negação
Equivalência 
Negação
Exemplo: 
Exemplo:
Duas proposições são equivalentes quando as duas possuem a mesma
tabela-verdade.
A negação se caracteriza quando uma proposição possui a tabela-verdade
toda ao contrário de outra.
(V) Dizer "não estudou ou foi aprovado" equivale a "se estudou, foi aprovado"
~E v A
E --> A
(F) A negação de "não estudou e foi aprovado" pode ser representada por "se
estudou, foi aprovado"
~E ^A
E --> A
E A ~E ~E v A E -->A
V V F V V
V F F F F
F V V V V
F F V V V
Exemplo:
Disjunção Exclusiva (OU EXCLUSIVO)
(F) A negação de "estudou e não foi aprovado" pode ser representada por "se
estudou, foi aprovado"
E ^~A
E-->A
Notação: A ⊻ B (ou A ou B)
Só teremos valor verdadeiro quando somente uma das proposições for verdadeira.
E A ~E  ~E ^A E -->A
V V F F V
V F F F F
F V V V V
F F V F V
E A ~A E ^~A E -->A
V V F F V
V F V V F
F V F F V
F F V F V
Principais Negações
A B A v B A ⊻ B
V V V F
V F V V
F V V V
F F F F
Afirmação Negação Bizú
p ¬p
q ¬q
p ^ q ¬p v ¬q
Nega, nega,
nega...
p v q ¬p ^¬q
Nega, nega,
nega
p --> q
p ^ ¬q
Mantém a
primeira e nega
a segunda
p <--> q p ⊻ q
Todo A é B
Algum (pelo
menos um) A
não é B.
Nenhum A é B Algum A é B.
X >= -2 X < -2