Escolar Documentos
Profissional Documentos
Cultura Documentos
68
ANEXO
USO DE LA INFORMÁTICA:
Ya vimos que confeccionar una tabla con más de dos variables proposicionales resulta
engorroso y suelen cometerse errores. Aunque en la vida diaria rara vez se presentan
razonamientos con más de dos variables, cuando esto ocurra puede recurrirse a un soft
“LOGICA” disponible en la cátedra, fácil de instalar y fácil de usar.
Veamos que puede hacer:
Dándole como dato una proposición categórica y su valor de verdad, obtener
su inferencia inmediata por oposición.
Dándole como dato la forma abstracta de un silogismo categórico bien
formado nos dirá si es válido o inválido.
Dándole como dato la proposición compuesta resultante de aplicar el método
del condicional asociado a la forma abstracta de un razonamiento extensional,
nos dice si es una tautología, una contingencia o una contradicción; es decir, si
es válido o inválido
Claro que previo a su uso, debemos hacer algunas consideraciones.
1. Los símbolos convencionales usados como conectivas no están en el teclado, no
podríamos ingresar la proposición compuesta resultado de aplicar el condicional
asociado. Esto se soluciona reemplazándolos por los del lenguaje de programación usado
para confeccionar el software (Visual Basic en nuestro caso).
69
ANEXO
70
ANEXO
Otro ejemplo: Si sabemos que la proposición “I” ‘Algunos alumnos de este curso son
aplicados’ , es verdadera, si la introducimos en en soft, nos dirá que podemos decir de la
“A”, la “O” y la “E”.
71
ANEXO
72