Práctica 4 (pre 2010, Paradigmas)
De Cuba-Wiki
Ejercicio 01
- i) {□}
- 2) {□}
- 3) {□}
- 4) {□}
- 5) { {~q,p} }
- 6) { {p},{q,r} }
Ejercicio 02
- i. i-iv Tautologias
- ii. (¬p -> q)^(p -> q)^(¬p -> ¬q) = (pvq)^(~pvq)^(pv¬q) = { {p,q},{~p,q},{p,~q} } = { {p,q},{~p,q},{p,~q},{p} } = { {p,q},{~p,q},{p,~q},{p},{q} } -> Con lo cual debe cumplirse p^q.
