Académique Documents
Professionnel Documents
Culture Documents
Revisión de los elementos de la lógica de primer orden. En primer lugar, tenemos los
términos:
Una proposición o relación, referida a 0 o más términos, es una fórmula. Se escriben con
una letra seguida de cualquier número de caracteres alfanuméricos, con la lista de
términos a los que hace referencia separados por comas y encerrados entre corchetes. Los
corchetes se deben poner aunque la proposición no tenga parámetros. Por ejemplo “x e y
son amigos” es una relación, y se escribiría AM[x,y].
Una igualdad es una fórmula. Consiste en dos términos conectados con el operador =, por
ejemplo x = y.
Una fórmula a la que se le aplica el operador NOT de negación lógica, es una fórmula.
Dos fórmulas conectadas por los operadores lógicos AND, OR, implicación y doble
implicación es también una fórmula.
Operador AND, se obtiene pulsando la tecla &, pero el símbolo que aparece es el caracter
˄.
Operador OR, se obtiene pulsando la tecla |, pero el símbolo que aparece es el caracter ˅.
Las igualdades deben escribirse entre paréntesis si se quieren negar. En general, es mejor
escribir siempre las igualdades entre paréntesis.
Se afirma [2] que Jape es el programa más popular para la "enseñanza de la lógica asistida
por computadora" que involucra ejercicios para desarrollar pruebas en lógica matemática.
El programa está disponible para los sistemas operativos Mac, Unix y Windows. Está
escrito en el lenguaje de programación Java y publicado bajo la GPL de GNU.
BOOLE: conceptos semánticos en la lógica proposicional
Esta práctica tiene como objetivo general afianzar conceptos semánticos de gran
importancia relativos a la lógica proposicional así como adquirir habilidad en la
representación formal de enunciados. Con tales fines se utiliza el software de aplicación
BOOLE, que facilita la construcción de tablas de verdad. La construcción de tablas de
verdad en esta aplicación se realiza en tres pasos: escribir la forma enunciativa (o las
formas enunciativas) que se desea analizar; construir las columnas iniciales (columnas de
referencia); rellenar la tabla con los valores de verdad. Una vez que se ha completado una
tabla de verdad se puede utilizar para realizar un análisis de las propiedades semánticas
de la forma enunciativa (o las formas enunciativas).
EL MUNDO DE TARSKI: conceptos semánticos en la lógica de predicados
Esta práctica tiene como objetivo general afianzar conceptos semánticos de gran
importancia relativos a la lógica predicados así como adquirir habilidad en la
representación formal de enunciados en este tipo de lógica. Con tales fines se utiliza el
software de aplicación “El mundo de Tarski”, que presenta mundos tridimensionales
compuestos por bloques geométricos de varias clases y tamaños y comprueba la verdad
o falsedad de sentencias de la lógica de predicados interpretadas en esos mundos.
Este software presenta las siguientes ventanas para interactuar con el usuario:
Referencias