LABO-

RATO-
LABORATORIO DE LÓGICA
VERDAD FORMAL (p  q)   q
I. INSTRUCCIONES 1 1 0
1) Reunidos en grupo de 5 inte- 0 0 1
1 1 0
grantes desarrollan el siguien-
1 1 1
te laboratorio.
NUMERO DE VARIABLES: 2
2) Lee, resuelve y determina el NUMERO DE ARREGLOS: 4
valor de verdad de los siguien- CONECTOR LOGICO PRINCIPAL: replicador
TIPO DE ESQUEMA: contingencia
tes esquemas.
1. Determinar el valor de verdad 3. Determinar el valor de verdad
del siguiente esquema proposi- del siguiente esquema proposi-
cional: cional:

[ A → (B  C)]  [ A  (B [p  (q ↮  p)]
 A)] 1 1 1 0 0
1 1 0 1 0
ABC [ A → (B  C)]  [ A  (B  A)] 0 0 1 1 1
1 1 v 0 1 1 0 0 0 1 0 1 0 0 1
1 1 f 0 1 1 0 0 0 1
1 0v 0 1 1 1 0 1 0
1 0f 0 1 0 1 0 1 0
0 1v 1 1 1 0 1 0 0
0 1f 1 1 1 0 1 0 0
0 0 v 1 1 1 0 1 0 0 NUMERO DE VARIABLES: 2
0 0 f 1 0 0. 0 1 0 0 NUMERO DE ARREGLOS:4
NUMERO DE VARIABLES: 3 CONECTOR LOGICO PRINCIPAL: replicador
NUMERO DE ARREGLOS: 8 TIPO DE ESQUEMA: consistente
CONECTOR LOGICO PRINCIPAL: conjuntor
TIPO DE ESQUEMA: cotingente 4. Determinar el valor de verdad
2. Determinar el valor de verdad del siguiente esquema proposi-
del siguiente esquema proposi- cional:
cional:  { [p  (q   p)]}
 { [p  (q   p)]}.
(p  q)   q
0 1 1 0 10 0
0 1 1 0 0 0 0
1 0 0 1 1 1 1
1 0 0 1 0 0 1

Docente:
1 Jesús Villanueva Javes
Curso: Lógica
 LABO-
NUMERO DE VARIABLES: 2
RATO-
NUMERO DE ARREGLOS:4  (p  q)  ( q   p)
CONECTOR LOGICO PRINCIPAL: implicador
TIPO DE ESQUEMA: contingencia
11.Determinar el valor de verdad de
la fórmula proposicional:

 [ (p  q)  ( r   p) ]

12.Determinar el valor de verdad de

5. Determinar el valor de verdad la fórmula proposicional:
del siguiente esquema proposi-
cional: [ (p  q)   (q  r) ]  (q
  p)
p  (q   p)
13. Determinar el valor de verdad
6. Determinar el valor de verdad de la del siguiente esquema propo-
fórmula proposicional: sicional:

p→qrq ←p/q [( p   q)  ( q  r)]

7. Determinar el valor de verdad de la 14. Determinar el valor de verdad

fórmula proposicional:
del siguiente esquema propo-
sicional:
 (p v q)  (r   p)

8. Determinar el valor de verdad de la {[(A v B)   A] | B}  (

fórmula proposicional: A   B)

 [(p ∆  p)  ( p  q) ] 15. Determinar el valor de verdad

del siguiente esquema propo-
9. Determinar el valor de verdad de la sicional:
fórmula proposicional:
(p  q)   [(p  q)  
(p v q)  [(p  q)  r] q)]

10.Determinar el valor de verdad de la 16. Determinar el valor de verdad

fórmula proposicional: de la fórmula proposicional:

Docente:
2 Jesús Villanueva Javes
Curso: Lógica
 LABO-
RATO-
 (p  q)   q

17. Determinar el valor de verdad de

la fórmula proposicional:

{ [(p  q) v r]  q}  ( p |
 q)

18. Determinar el valor de verdad de

la fórmula proposicional:

 [  p ⨁ (q   p)]

19. Determinar el valor de verdad de

la fórmula proposicional:

 [(p  q)  q] ↮ r

20. Determinar el valor de verdad de

la fórmula proposicional:

 [ (p  q)   (q  p) ] ⨁ 
( p | q)

Docente:
3 Jesús Villanueva Javes
Curso: Lógica