Usuario:Galindo6/ejercicio 5

• ejercicios 1.1, pagina 13

23.

Construct a truth table for each of the following compound propositions.

a) $p\to$$\sim q$

b) $\sim p$$\leftrightarrow q$

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

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

SOLUCION

A) $p\to$$\sim q$

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

B) $\sim p$$\leftrightarrow q$

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

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

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

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

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

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