Práctica 4 (pre 2010, Paradigmas)

De Cuba-Wiki

Plantilla:Back

Ejercicio 01

  • i) {□}
  • ii) {□}
  • iii) {□}
  • iv) {□}
  • v) { {~q,p} }
  • vi) { {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.

Ejercicio 03

Ejercicio 04

Ejercicio 05

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

Ejercicio 10

Ejercicio 11

Ejercicio 12

Ejercicio 13

Ejercicio 14

Ejercicio 15

Ejercicio 16