Práctica 4 (Paradigmas)

Ejercicio 01

Convertir a Forma Normal Conjuntiva y luego a Forma Clausal (notación de conjuntos) las siguientes fórmulas proposicionales: i. p -> p

ii. (p & q) -> p

iii. (p | q) -> p

iv. ~(p <-> ~p)

v. ~(p & q) -> (~p ~ ~q)

vi. (p & q) -> (p & r)

vii. (p & q) -> r

viii. p -> (q -> r)

Respuestas:

i. {~p, p}

ii. { ~p, ~q, p }

iii. {{ ~p, p }, { ~q, p }}

iv. {{ p, ~p}, { p }}

v. {{ p, ~p, ~q }, { q, ~p, ~q }}

vi.

vii.

viii.