La logica proposicional seria el primer mecanismo para representar el conocimiento, este mecamismo comiensa con el uso de sentencias atomicas, las cuales son sentencias que no se pueden dividir.
La sintaxis de la logica proposicional nos indica que estas sentencias atomicas se representan a traves de letras, para poder comprender esto usaremos como ejemplo una inteligencia artificial que se encarga de diagnosticar enfermedades, algunas sentencias atomicas podrian ser
- Medida de cintura mayor a 90 cm
- Riesgo de un infarto
- Hago ejercicio
para representarla debemos asignar una letra a cada sentencia
a esas letras se les llama simbolo proposicional
las sentencias complejas se forman a partir de sentencias atomicas que son unidas a traves de una conectiva logica. Las conectivas logicas son
negacion
Esta conectiva niega el valor de perdad de una sentencia, ¬r lo que equivale a decir «no hago ejercicio».
Conjuncion
Esta conectiva nos da un valor de verdad solo cuando todas las sentencias son verdaderas se representa con el simbolo ^, de forma textual son la letra «y» de las forma que p^r seria la representacion de «La medida de la cintura es mayor a 90 y hago ejercicio»
Disyuncion
Esta conectiva se representa con «v» y se lee como «o» de tal forma que pvr seria la representacion de «la medida de la cintura es mayor a 90 ó hago ejercicio», en este caso el resultado de la expresion sera falso solo cuando las dos sentencias atomicas sean falsas.
implicacion
La implicacion representa afirmaciones del tipo si- entonces, en las cuales se muestran relaciones de causa y consecuencia, se simbolizan con=>, de tal forma que p=>q , se interpreta como «Si la medida de la cintura es mayor a 90 cm entonces estoy en riesgo de un infarto»,
bicondicional
la bicondicional representa enunciados del tipo «si y solo si», se representa con el simbolo <=>, este representa relaciones en las que la causal y el consecuente se pueden intercambiar.
Sistemasumma.com 