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 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
˅.
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