Dar isso segunda dia 14

Classifique as formulas da lgica proposicional, entre as possibilidades estudadas (tautologias,

satisfatrias, contingncias e contraditrias). Descreva justificando a classificao.
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 proposio que sempre verdadeira, independentemente da
verdade dos termos que a compem. Um exemplo de tautologia :
a) se Joo alto, ento Joo alto ou Guilherme gordo
b) se Joo alto, ento Joo alto e Guilherme gordo
c) se Joo alto ou Guilherme gordo, ento Guilherme gordo
d) se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo
e) se Joo alto ou no alto, ento Guilherme gordo

Analisando a proposio se Joo alto, ento Joo alto ou Guilherme gordo
Logo, essa proposio representa uma tautologia.
Alternativa: A

Explicar dia 16
2.11.2 Implicao Lgica
2.11.3 Equivalncia Lgica

E dar esse exerccio
Seguindo na lgica proposicional, seja Y uma interpretao tal que: Y [p -> q] = F. O que se
pode deduzir a respeito dos resultados das interpretaes a seguir?
a) [(p v r) -> (q v r)]
b) [(p ^ r) <-> (q ^ r)]