Negação de Proposições

Prévia do material em texto

Negação de Proposições:
Normalmente cobradas em concursos:
~ (p ʌ q) : ~p ˅ ~ q
	p
	q
	p ʌ q 
	~ (p ʌ q) 
	~p
	 ~q
	~p ˅ ~ q
	V
	V
	V
	F
	F
	F
	F
	V
	F
	F
	V
	F
	V
	V
	F
	V
	F
	V
	V
	F
	V
	F
	F
	F
	V
	V
	V
	V
~ (p ˅ q) : ~ p ʌ ~ q 
	p
	q
	p ˅ q 
	~ (p˅q) 
	~p
	 ~q
	~p ʌ ~ q
	V
	V
	V
	F
	F
	F
	F
	V
	F
	V
	F
	F
	V
	F
	F
	V
	V
	F
	V
	F
	F
	F
	F
	F
	V
	V
	V
	V
~ (p ˅ q) : p↔ q
	p
	q
	p ˅ q 
	~ (p ˅ q) 
	p↔ q
	V
	V
	F
	V
	V
	V
	F
	V
	F
	F
	F
	V
	V
	F
	F
	F
	F
	F
	V
	V
~ (p→ q): p ʌ ~ q 
	p
	q
	p→ q 
	~ (p→ q) 
	 ~q
	p ʌ ~ q
	V
	V
	V
	F
	F
	F
	V
	F
	F
	V
	V
	V
	F
	V
	V
	F
	F
	F
	F
	F
	V
	F
	V
	F
EXERCÍCIOS:
ANPAD 2003 – A negação da sentença “Ana não voltou e foi ao cinema” é:
a) Ana voltou ou não foi ao cinema
b) Ana voltou e não foi ao cinema
c) Ana não voltou ou não foi ao cinema
d) Ana não voltou e não foi ao cinema
e) Ana não voltou e foi ao cinema
p = Ana não voltou
 q = Ana foi ao cinema 
a)
	p
	q
	~p
	 ~q
	p ʌ q
	~(p ʌ q) 
	~p ˅ ~q 
	V
	V
	F
	F
	V
	F
	F
	V
	F
	F
	V
	F
	V
	V
	F
	V
	V
	F
	F
	V
	V
	F
	F
	V
	V
	F
	V
	V
b)
	p
	q
	~p
	 ~q
	p ʌ q
	~(p ʌ q) 
	~p ʌ~ q
	V
	V
	F
	F
	V
	F
	F
	V
	F
	F
	V
	F
	V
	F
	F
	V
	V
	F
	F
	V
	F
	F
	F
	V
	V
	F
	V
	V
c)
	p
	q
	~p
	 ~q
	p ʌ q
	~(p ʌ q) 
	p ˅ ~q 
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	V
	F
	V
	V
	F
	F
	V
	F
	F
	F
	V
	V
	F
	V
	V
d)
	p
	q
	~p
	 ~q
	p ʌ q
	~(p ʌ q) 
	p ʌ~ q
	V
	V
	F
	F
	V
	F
	F
	V
	F
	F
	V
	F
	V
	V
	F
	V
	V
	F
	F
	V
	F
	F
	F
	V
	V
	F
	V
	F
e)
	p
	q
	~p
	 ~q
	p ʌ q
	~(p ʌ q) 
	p ʌ q
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	F
	F
	V
	V
	F
	F
	V
	F
	F
	F
	V
	V
	F
	V
	F
ANPAD 2003 – Sejam as proposições p = João é inteligente e q = Paulo joga tênis. Então, ~(~p ˅ q) em linguagem corrente é: 
a) João é inteligente ou Paulo não joga tênis
b) João é inteligente e Paulo não joga tênis
c) João não é inteligente e Paulo não joga tênis
d) João não é inteligente ou Paulo joga tênis
e)João é inteligente ou Paulo joga tênis 
a)
	p
	q
	~p
	 ~q
	~p ˅ q
	~(~p˅q) 
	p˅~q
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	V
	F
	V
	V
	F
	V
	F
	F
	F
	F
	V
	V
	V
	F
	V
b)
	p
	q
	~p
	 ~q
	~p ˅ q
	~(~p˅q) 
	p ʌ ~q
	V
	V
	F
	F
	V
	F
	F
	V
	F
	F
	V
	F
	V
	V
	F
	V
	V
	F
	V
	F
	F
	F
	F
	V
	V
	V
	F
	F
c)
	p
	q
	~p
	 ~q
	~p ˅ q
	~(~p˅q) 
	~p ʌ ~q
	V
	V
	F
	F
	V
	F
	F
	V
	F
	F
	V
	F
	V
	F
	F
	V
	V
	F
	V
	F
	F
	F
	F
	V
	V
	V
	F
	V
d)
	p
	q
	~p
	 ~q
	~p ˅ q
	~(~p˅q) 
	~p˅q 
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	F
	F
	V
	V
	F
	V
	F
	V
	F
	F
	V
	V
	V
	F
	V
e)
	p
	q
	~p
	 ~q
	~p ˅ q
	~(~p˅q) 
	p˅q 
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	V
	F
	V
	V
	F
	V
	F
	V
	F
	F
	V
	V
	V
	F
	F