Atividade de logica 1

Prévia do material em texto

PROFA MARIA DA CONCEIÇÃO MALASPINA- LÓGICA VALOR 2,0
1. Quais das as frases são sentenças.
a. A lua é feita de queijo verde. R:(verdade)
b. Ele é um homem alto.(falso)
c. Dois é um número primo.(verdade)
d. O jogo terminará logo?(falso)
e. As taxas do ano que vem serão maiores.(verdade) 
f. As taxas do ano que vem serão menores.(verdade)
g.  X- 4=0(falso)
0. Determine quais das seguintes proposições são tautológicas, contraditórias ou Contingentes, por meio da construção de suas tabelas-verdade. 
a) ~p→ (q → ~p) tautologia
	P
	q
	~p
	~q
	(q→~p)
	~p → (q → ~p)
	v
	v
	f
	f
	f
	v
	v
	f
	f
	v
	v
	v
	f
	v
	v
	f
	v
	v
	f
	f
	v
	v
	v
	v
 
b) p V ~q → (p →~q)contingentes
	pV~q→(p→~q)
	 
	 
	 
	 
	 
	 
	 
	 
	 
	 
	p
	q
	~q
	p v ~q
	(p→~q)
	pV~q→(p→~q)
	v
	v
	f
	v
	f
	f
	v
	f
	v
	v
	v
	v
	f
	v
	f
	f
	v
	v
	f
	f
	v
	v
	v
	v
c) ~p V ~q → (p →q) contingentes
	~pV~q→(p→q)
	 
	 
	 
	 
	 
	 
	 
	 
	 
	 
	 
	 
	p
	q
	~p
	~q
	~p v ~q
	(p→q)
	pV~q→(p→q)
	v
	v
	f
	f
	f
	v
	v
	v
	f
	f
	v
	v
	f
	f
	f
	v
	v
	f
	v
	v
	v
	f
	f
	v
	v
	v
	v
	v
d) ~ ~ PV ~ Qcontingentes
	p
	q
	~q
	pv~q
	~ (~ PV ~ Q)
	v
	v
	f
	v
	f
	v
	f
	v
	v
	f
	f
	v
	f
	f
	v
	f
	f
	v
	v
	f
0. Sejam as proposições:  
 P: Marcos é alto 
Q: Marcos é elegante.
 Traduzir para a linguagem simbólica as seguintes proposições. 
(a) Marcos é alto e elegante. p ᶺ q
(b) Marcos é alto, mas não é elegante. P ᶺ~q
 (c) Não é verdade que marcos é baixo ou elegante. ~(~pᵛq)
(d) Marcos não é nem alto e nem elegante. ~pᶺ~q
0. Qual os valores-verdade das seguintes sentenças?
a. 8 é par ou 6 é ímpar.(verdade)
b. 8 é par e 6 é ímpar.(falso)
c. Se 8 é ímpar, então 6 é ímpar.(verdadeiro)
d. 8 é impar e 6 é ímpar.(falso)