Question

Simplifique el siguiente esquema molecular usando las leyes del algebra proposicional: [(p→q)∧∼q]⟹p

Answer 1

Explicación paso a paso:

1. por definición del condicional:

-[(-pvq)&-q]vp

por absorción:

-[-p&-q]vp

negamos lo que

está dentro: pvqvp

por idempotencia:

pvp=p

por lo tanto nos quedaría: pvq