Usuario:Galindo6/ejercicio 4

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