Lo mas destacado de la clase de teorica de esta semana ha sido la demostracion de razonamientos. En la clase de practica, Carlos sigue dandonos herramientas, asi como nuevas sentencias para implementar nuestro videojuego.
Teórica
Interpretación
Una interpretación es una función que asigna un valor de verdad a una proposición a partit de los significados de sus fórmulas.
Hay dos tipos de interpretaciones:
- Interpretación modelo: una interpretación de una fórmula bien formada es modelo si bajo esta interpretación la fórmula se interpreta como verdadera.
- Interpretación contramodelo o contraejemplo: una interpretación es contramodelo si bajo esta interpretación la fórmula se interpreta como falsa.
Fórmulas atómicas
- Tautología: cuando la fórmula es verdadera para toda interpretación.
- Contradicción: cuando la fórmula no es verdadera bajo ninguna interpretación.
- Contingencia: cuando existe al menos una interpretación que hace que la fórmula se interprete como verdadera y al menos otra interpretación que la haga falsa.
Consecuencia lógica
Es la relación entre las premisas y la conclusión de un argumento deductivamente correcto. Una conclusión es una consecuencia lógica de las premisas cuando no es posible que las premisas sean verdaderas y la conclusión falsa, o cuando todo modelo de las premisas es también un modelo de la conclusión.
Métodos de las tablas de verdad
Una tabla de verdad es una tabla que muestra el valor semántico de una fbf molecular para cada combinación de valores de verdad que se pueda asignar a sus componentes.
Para hacer una tabla de verdad se crea un cuadro de doble entrada que tendrá tantas filas como interpretaciones disponga la fórmula. Se pone una columna por cada variable que aparezca en la fbf.
Método de contraejemplo
Un contraejemplo es un ejemplo que prueba la falsedad de un enunciado. Un contraejemplo para un razonamiento es la existencia de una interpretación que asigne valores verdaderos a las premisas y falso a la conclusión.
Para comprobar la existencia de un contraejemplo en la resolución de un problema se supone la existencia de dicha interpretación en el problema y se estudia el comportamiento de cada una de las fórmulas del argumento, buscando posibles contradicciones.
Teorica
Sesiones 3 y 4 del videojuego de prolog
Por hoy creo que ya basta jajajajjaaj xD
Hasta la semana que viene compañeros!!!!! xD