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)

2. 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

~ (~ PV ~
p q ~q pv~q Q)
v v f v f
v f v v f
f v f f v
f f v v f

3. 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

4. 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)