Exercícios de Lógica

Dar isso segunda dia 14
Classifique as formulas da lógica proposicional, entre as possibilidades estudadas (tautologias, satisfatórias, contingências e contraditórias). Descreva justificando a classificação.
a) p ~q
b) (p -> (p v q)) v r
c) (p ~q ) ^ (p ^ q)
d) [(p v q) ^ (p ^ s)] -> p
e) (p ^ q ) -> (p v q)
f) [¬B] ∨ {[¬B]→A}
g) ~ (~ p → ~ q) v ~ r
h) ~(p ^ q)
i) ~( p v ~q)
j) P → (P ∧ Q)
k) (P ∧ ( Q ∨ ¬Q) ) → ((P ∧ Q) ∨ (P ∧ ¬Q))

3- Chama-se tautologia a toda proposição que é sempre verdadeira, independentemente da verdade dos termos que a compõem. Um exemplo de tautologia é:
a) se João é alto, então João é alto ou Guilherme é gordo
b) se João é alto, então João é alto e Guilherme é gordo
c) se João é alto ou Guilherme é gordo, então Guilherme é gordo
d) se João é alto ou Guilherme é gordo, então João é alto e Guilherme é gordo
e) se João é alto ou não é alto, então Guilherme é gordo

Analisando a proposição se João é alto, então João é alto ou Guilherme é gordo
Logo, essa proposição representa uma tautologia.
Alternativa: A

Explicar dia 16
2.11.2 Implicação Lógica
2.11.3 Equivalência Lógica

E dar esse exercício
Seguindo na lógica proposicional, seja Y uma interpretação tal que: Y [p -> q] = F. O que se pode deduzir a respeito dos resultados das interpretações a seguir?
a) [(p v r) -> (q v r)]
b) [(p ^ r) (q ^ r)]