Usuario:Galindo6/ejercicio 4

• ejercicios 1.1, pagina 13

21.

Construct a trut table for each of the following compouund propositions.

a) $p\land$$\sim p$

b) $p\lor$$\sim p$

c) ($p\lor$$\sim q$) $\rightarrow q$

d) ($p\lor q$) $\to$ ($p\land q$)

== SOLUCION == (en minuscula)

A) $p\land$$\sim p$

 V  f  F
 F  f  V

B) $p\lor$$\sim p$

 V  f  F
 F  f  F

C) ($p\lor$$\sim q$) $\rightarrow q$

 V  f  F  v  V
 V  v  V  f  F
 F  f  F  v  V
 F  f  V  v  F

D) ($p\lor q$) $\to$ ($p\land q$)

V  v  V  v  V  v   V
V  v  F  v  V  f   F
F  v  V  f  F  f   V
F  f  F  v  F  f   F

== pagina del solucionario == http://es.wikibooks.org/wiki/Pensamiento_Algor%C3%ADtmico:Solucionario