Lógica Proposicional

Trabajo Practico (TP) Lógica Computacional

• Esta tarea tiene como objetivo poder hacer una revisión de la materia y poder concluir con una aplicación de los conceptos indicados, como ser Sistemas Expertos.
• Esta tarea puede ser realizada en grupo, de hasta 4 integrantes.
• Cada TP debe tener como primera hoja el detalle de los alumnos que participaron
• La nota será la misma para todoslos indicados en esa primera hoja.
• Si algún alumno no está nombrado en algún TP tendrá ausente como calificación

Puntos a resolver:
1. Que entiende por Lógica Proposicional?
2. Defina Formula Bien Formada
3. Defina Conjunción y de ejemplos.
4. Explique qué entiende por Propiedad Asociativa de la Conjunción.
5. Defina Redes Semánticas
6. Defina Frames, o Marcos
7. Realice unacomparación entre el uso de Redes Semánticas y Frames, pro y contras de cada método.
8. Defina que es un Sistema Experto, indique sus componentes y realice una breve descripción de su uso













Lógica Proposicional
Se entiende por la utilización de una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea.
La lógicaproposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales entre sentencias.
Este mecanismo determina la veracidad de una sentencia compleja (V- F), analizando los valores de veracidad asignados a las sentencias simples que la conforman.
La lógica proposicional, permite laasignación de un valor verdadero o falso para la sentencia completa, no tiene facilidad par analizar las palabras individuales que componen la sentencia.
Cabe mencionar que la Lógica Proposicional esta formado por los siguientes elementos básicos:
• Signos primitivos del lenguaje (El alfabeto).
• Una gramática que especifique cómo combinar los signos primitivos entre si para tener expresionesbien formadas.
• Unas reglas de combinación de dichos signos, es decir En nuestro caso, como buscamos aplicar el lenguaje formal a la reconstrucción de la estructura lógica del lenguaje natural, precisaremos de unas reglas que nos ayuden en la formalización o traducción de expresiones del lenguaje natural al de la lógica formal.
• El alfabeto del lenguaje formal en la lógica proposicional(signos para representar las proposiciones atómicas y signos para representar conectores en proposiciones más complejas).

Formula Bien Formada
Una fórmula bien formada puede ser una proposición simple o compuesta que tiene sentido completo y cuyo valor de veracidad, puede ser determinado.
Las Formulas Bien Formadas están compuestas por signos que representan las proposiciones, signos pararepresentar conectores y signos para representar su veracidad. Este mecanismo para asignar valores de veracidad a la proposición compuesta, basado en los valores de veracidad de las proposiciones simples y de los conectores lógicos involucrados. Se muestran en la Tabla
p q Disyunción p v q Conjunción p ^ q Negación ¬ p Implicación p => q Equivalencia p = q
V V V V F V V
V F V F F F F
FV V F V V F
F F F F V V V
Además de los signos primitivos que acabamos de conocer, necesitamos unas reglas que nos permitan saber cuándo estamos ante una combinación de símbolos que esté bien construida en el lenguaje formal.


Fórmula Bien Formada, (FBF):
1. Una letra enunciativa es una FBF.
2. Toda FBF a la cual se antepone el símbolo "¬" (negación) es una FBF.
3. Si A y B son FBFs,entonces las secuencias: (A B), (A B), (A B),y (A B) son FBFs
4. Toda secuencia de caracteres producida por la aplicación de los pasos 1, 2, 3, en cualquier orden, constituye una FBF.
5. Ninguna otra secuencia constituye una FBF.

La conjunción.
Es una maneras de formar nuevas proposiciones a partir de otras usando el conector (Y) representado por el operador logico (), en el cual las...