Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Practica de Logica
Practica de Logica
∿ [ p ᴧ(∿ p) ]
RESOLUCION:
p ∿ [ p ᴧ(∿ p) ]
V V V F F
F F V V V Rpta: VF
C = 2n
C=2
PROBLEMA 2:
( p ᴧ q) → p
p q ( p ᴧ q) → p
V V V V V V V Rpta: VVVV
V F V F F V V
F V F F V V F
F F F F F V F
C= 2n
C= 22
C=4
PROBLEMA 3:
[ ( p →q ) ᴧ( q → r)] →( p → r )
RESOLUCION:
[( p → q) ᴧ(q →r )]→( p → r )
p q r
V V V V V V V V VV V V V V
V V F V V V F V F F V V F F
V F V V F F F F V V V V V V
V F F V F F F F V F V V F F
F V V F V V V V V V V F V V
F V F F V V F V F F V F V F
F F V F V F V F V V V F V V
F F F F V F V F V F V F V F
Rpta: VVVVVVVV
PROBLEMA 4:
RESOLUCION:
p q [ ( ∿ p ) ᴧ( p ᴠ q)] →q
V V F F v V V V V
V F F F v V F V F
F V V V F V V V V
F F V F F F F V F
RESOLUCION:
p pqᴧ [ ( ∿ p ) ᴧ( ∿ q) ]
V V V F F F F
V F V F F F V
F V F F V F F
F F F F V V V
Rpta: FFFF no es TAUTOLOGÍA
PROBLEMA 6:
RESOLUCION:
p q ( p ᴠ q) → p
V V V V V V V
V F V V F V V
F V F V V F F
F F F F F V F
PROBLEMA 7:
RESOLUCION:
Sabemos que la disyunción es verdadera si una de las proposiciones es verdadera; por lo tanto
p ᴠ q es verdadera, ya que p es verdadera.
pᴠ q
V V
V
PROBLEMA 8:
RESOLUCION:
Sabemos que la implicación es falsa, en el único caso que el antecedente ( p) sea verdadera y el
consecuente (q ) sea falso; por lo tanto, el valor de verdad de p →q depende de q ya que p es
verdadero.
p →q
V V
V
PROBLEMA 9:
RESOLUCION:
∿ p →( p ᴠ q)
V
F V
V
Entonces el valor de la verdad de: ∿ p →( p ᴠ q) es (V)
PROBLEMA 10:
RESOLUCION:
( p ᴧ q) →(r ᴠ t )
V V F F Rpta: p yq
V F
PROBLEMA 11: F
Si se sabe que: p ᴧ ∿ r es falsa
r → q es verdadera
q ᴠ t es falsa
Determinar los valores de verdad de p , q , r y t
RESOLUCION:
p ᴧ∿r
F FV
F
r →q
V F
V
qᴠ t
F F