A dia de hoy, hemos empezado con practicas de matematicas (prolog) de lo del videojuego ese “AQUI NO HAY QUIEN ESTUDIE…. MATES1” . En teoria, hemos entrado en el tema de las formulas proposicionales
Teoría:
En las fórmulas proposicionales tenemos:
- Variables proposicionales: son proposiciones atómicas (ejem: Juan come con Pepe). Estas variables se representarán por un símbolo o un diminutivo (Juan: ju; Pepe:pe).
- Constantes: se refieren a objetos concretos, como Juan.
- Variables: se refieren al sujeto de un conjunto, donde este se representa por x, y, z…
- Funciones: funciones, de sujetos concretos, que son constantes.
- Predicados: propiedad o relación entre sujetos.
- Aridad: número de argumento de un predicado o de una función. Un argumento es un sujeto.
Conectores: ¬ (no), ^ (y), v (o), —> (condicional, si).
Tipos de proposiciones:
- Si A(aquí actúa como antecedente) entonces B: si se cumple A se cumple B; A—>B
- Es suficiente A(también actúa como antecedente) para B: A—>B
- Sólo si A(aquí actúa como consecuente) entonces B: es decir, solo si se cumple A se cumple B; B—>A
- Es necesario A(también actúa como consecuente) para B: B—>A
EJEMPLOS:
Mc (marco conceptual: para dar nombre a las variables)
Popeye tiene buen corazón: Popeye y Maki tienen buen corazón:
Mc{Bc: tener buen corazón, Bc(pop) ^ Bc(ma)
ma: maki,
pop: popeye}
Bc(pop) fbf: fórmula bien formada
Practica
Hemos dado una de las cosas mas importantes en prolog: las reglas
Se explica mejor en las transparencias jajaja xD
Hasta la siguiente clase
Víctor