Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tabla de Verdad
p q r p∧q p→ r ( p∧q )∧( p →r ) r∧q [( p∧q )∧( p →r ) ]→(r ∧q )
V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F F F F V
F V V F V F V V
F V F F V F F V
F F V F V F F V
F F F F V F F V
Tabla de Resultados
Ejercicio 2. Identificación de las reglas de la inferencia lógica
Tenemos las siguientes expresiones simbólicas que representan algunas leyes de
inferencia
p: Realizo el trabajo de pensamiento lógico
q: Obtengo una buena nota por el trabajo
Lenguaje Ley de inferencia Lenguaje natural Conclusión
Simbólico
p∧q Ley de Obtengo una
Realizo el trabajo de pensamiento
_____ Simplificación
lógico y obtengo una buena nota
buena nota en
q el trabajo
Realizo el trabajo de pensamiento
p∨q lógico u obtengo una buena nota Realizo el
MTT (Modus
¬q trabajo de
Tollendo Ponens)
____ No obtengo una buena nota en el pensamiento
p trabajo lógico
( p∨q)
p→r
Lenguaje simbólico: q→r
( p →r )∨(q→r )
P1 : p∨q
P2 : p→r
P3 :¬q
Conclusión:r
Proposiciones:
p: Estudio el tema de pensamiento lógico
q: Realizo el taller de pensamiento lógico
r: Obtengo una buena nota por el taller
Lenguaje Natural:
Estudio el tema de pensamiento lógico o realizo el taller, si estudio el tema de pensamiento
lógico obtendré una buena nota en el taller y no realizare el taller, por tal razón obtendré
una buena nota en el taller.
Tabla de verdad [( p∨q )∧( p →r )∧¬q ]→r
[( p∨q ) [( p∨q )
p q r p∨q p→r ¬q ( p∨q )∧( p →r ) ¿ ( p →r ) ¿ ( p →r )
¿ ¬q ] ¿ ¬q ]→r
V V V V V F V F V
V V F V F F F F V
V F V V V V V V V
V F F V F V F F V
F V V V V F V F V
F V F V V F V F V
F F V F V V F F V
F F F F V V F F V
Simulador
Leyes de Inferencia
P1 : p∨q
P2 : p→r
P3 :¬q
Conclusión:r
P1:P2 = Dilema Constructivo = Conclusión r
P1:P3 = MTP = Conclusion p
Puedo obtener Buena nota si estudio o realizó el taller