Logica de primer orden

3.2 Logica Primer orden

El proposito de la logica de primer orden es llevar acabo la formalizacion del conocimiento y la manipulacion del mismo en esta logica se utilizan sentencias del lenguaje natural.

ejemplo de logica de este tipo :

1.- Mañana es miercoles o mañana es jueves.

2.- Mañana no es jueves.

3.- Por lo tanto mañana es miercoles.