Proceso operativo a travs de la tabla de verdad y de la aplicabilidad de las

leyes de inferencia de la resolucin y demostracin de la validez del enunciado

problmico tipo argumento que haya seleccionado, con el respectivo pantallazo
como evidencia de la comprobacin a travs del simulador TRUTH.

Un grupo de estudiantes de Licenciatura en Pedagoga Infantil de la UNAD han

iniciado un trabajo de campo con algunos nios de un Jardn Infantil, para
generar estrategias en cuanto al proceso del aprendizaje de lectura, siendo
muy importante la edad cronolgica en los nios para el fortalecimiento de
dicho proceso de aprendizaje. Ruth es la docente que lidera el trabajo de
campo de los estudiantes y les comenta lo siguiente: si Teresa tiene cuatro
aos de edad, entonces Teresa posee los mismos aos de vida que
Juliana. Si Jacinto tiene una edad diferente que Teresa, entonces
Jacinto posee una edad diferente que Juliana. Teresa tiene cuatro aos
y Jacinto tiene la misma edad que Juliana. Por consiguiente, Jacinto
posee la misma edad que Teresa y Teresa la misma edad que Juliana.
Por favor determinar si el razonamiento hecho por Ruth es vlido, segn el
proceso de demostracin por medio de tablas de verdad y del uso de las leyes
de inferencia.

P = Teresa tiene cuatro aos de edad

Q = Teresa posee los mismos aos de vida que Juliana
R = Jacinto posee la misma edad que Teresa
S = Jacinto tiene la misma edad que Juliana
Organizando el argumento queda:
{[(P Q) (~R ~S)] (P S)} (R Q)
TABLA DE LA VERDAD

P Q R S ~ ~S
R
V V V V F F
V V V F F V
V V F V V F
V V F F V V
V F V V F F
V F V F F V
V F F V V F
V F F F V V
F V V V F F
F V V F F V
F V F V V F
F V F F V V
F F V V F F
F F V F F V
F F F V V F
F F F F V V
{[(P Q) (
[(P Q) (~R
PQ ~R ~S PS (P Q) (~R ~S)] (R Q) ~S)] (P S)
~S)] (P S)}
Q)
V V V V V V V
V V F V F F V
V F V F F F V
V V F V F F V
F V V F F V V
F V F F F F V
F F V F F F V
F V F F F F V
V V F V F V V
V V F V F F V
V F F F F F V
V V F V F F V
V V F V F V V
V V F V F F V
V F F F F F V
V V F V F F V

La tabla de la verdad arroja como resultado una Tautologa

PANTALLAZO DE LA COMPROBACIN DE LA TABLA DE LA VERDAD
EN EL SIMULADOR TRUTH
APLICANDO LAS LEYES DE LA INFERENCIA LGICA PARA VERIFICAR LA
VALIDEZ DEL ARGUMENTO

{[(P Q) (~R ~S)] (P S)} (R Q)

PQ Premisa
~R~S Premisa
PS Premisa
RQ Conclusin

1 PQ Premisa
2 ~R Premisa
~S
3 PS Premisa
4 P Ley de Simplificacin en 3
.
5 S Ley de Simplificacin en 3
6 Q Modus Ponens en 1
7 R Modus Tollens en 2
8 RQ Adjuncin de 7 y 8