QUE ES LA LOGICA PROPOSICIONAL
Páginas: 10 (2365 palabras)
Publicado: 3 de mayo de 2015
Centro de Estudios Tecnológicos, Industrial y de Servicio N°116
‘’Antonio Nava de Catalán’’
Laboratorio Clínico
Tema: Lógica Proposicional
Asignatura: Lectura, expresión oral y escrita.
Profesora: Venita Marcelo Olea
Alumna: Alitzel Salinas Rico
Grado y Grupo : 2°L
¿QUE ES LA LOGICA PROPOSICIONAL?
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementosmás simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, síexisten signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones apartir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de unas proposiciones (premisas) a otras (conclusión). Una proposición es la unidad mínima de significado susceptible de ser verdadera o falsa.
Una palabra aislada, por sí misma, nonos dice nada. La palabra "perro" tiene una referencia, pero no nos da ninguna información si no es en el contexto de una proposición como "El perro está haciendo cosas raras". Por ello una palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo tienen valor de verdad las proposiciones.
Debemos distinguir dos tipos de proposiciones: las proposiciones atómicas y lasproposiciones moleculares. Las proposiciones atómicas son aquéllas que no se componen de otras proposiciones.
INDICE
Introducción
1.1 Conectivas lógicas
1.2 Leyes notables en lógica
1.3 Límites de la lógica proposicional
Dos sistemas formales de lógica proposicional
2.1 Sistema axiomático
Desarrollo
2.1.1 Alfabeto
2.1.2 Gramática
2.1.3 Axiomas
Deducción natural
Semántica
La lógicaproposicional y la computación
Conclusión
Bibliografía
INTRODUCCIÓN
La representación del conocimiento es un área de la inteligencia artificial cuyo objetivo fundamental es representar el conocimiento de una manera que facilite sacar conclusiones (inferencias) a partir de dicho conocimiento. Analiza cómo usar un sistema de símbolos para representar un dominio de una frase, junto con funcionesque permitan razonar sobre las posibles acciones que se puedan realizar. Generalmente, se usa algún tipo de lógica para proveer una semántica formal de como las funciones de razonamiento se aplican a los símbolos del dominio del discurso, además de proveer operadores como cuantificadores, operadores modales, etc. Esto, junto a una teoría de interpretación, da significado a las frases en la lógica.Cuando diseñamos un sistema de representación del conocimiento para interpretar frases y poder derivar inferencias de ellas, tenemos que hacer elecciones que permitan obtener un resultado lógico. La decisión más importante que hay que tomar es la expresividad de la representación del conocimiento. Cuanto más expresiva es, decir algo es más fácil y más compacto. Sin embargo, cuanto más expresivoes un lenguaje, más difícil es derivar inferencias automáticamente de él.
En cambio, la validez de estos dos argumentos depende del significado de las expresiones «o» y «no». Si alguna de estas expresiones se cambiara por otra, entonces podría ser que los argumentos dejaran de ser válidos. Por ejemplo:
1. Ni está soleado ni está nublado.
2. No está nublado.
3. Por lo tanto, está soleado.
Las...
‘’Antonio Nava de Catalán’’
Laboratorio Clínico
Tema: Lógica Proposicional
Asignatura: Lectura, expresión oral y escrita.
Profesora: Venita Marcelo Olea
Alumna: Alitzel Salinas Rico
Grado y Grupo : 2°L
¿QUE ES LA LOGICA PROPOSICIONAL?
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementosmás simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, síexisten signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones apartir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de unas proposiciones (premisas) a otras (conclusión). Una proposición es la unidad mínima de significado susceptible de ser verdadera o falsa.
Una palabra aislada, por sí misma, nonos dice nada. La palabra "perro" tiene una referencia, pero no nos da ninguna información si no es en el contexto de una proposición como "El perro está haciendo cosas raras". Por ello una palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo tienen valor de verdad las proposiciones.
Debemos distinguir dos tipos de proposiciones: las proposiciones atómicas y lasproposiciones moleculares. Las proposiciones atómicas son aquéllas que no se componen de otras proposiciones.
INDICE
Introducción
1.1 Conectivas lógicas
1.2 Leyes notables en lógica
1.3 Límites de la lógica proposicional
Dos sistemas formales de lógica proposicional
2.1 Sistema axiomático
Desarrollo
2.1.1 Alfabeto
2.1.2 Gramática
2.1.3 Axiomas
Deducción natural
Semántica
La lógicaproposicional y la computación
Conclusión
Bibliografía
INTRODUCCIÓN
La representación del conocimiento es un área de la inteligencia artificial cuyo objetivo fundamental es representar el conocimiento de una manera que facilite sacar conclusiones (inferencias) a partir de dicho conocimiento. Analiza cómo usar un sistema de símbolos para representar un dominio de una frase, junto con funcionesque permitan razonar sobre las posibles acciones que se puedan realizar. Generalmente, se usa algún tipo de lógica para proveer una semántica formal de como las funciones de razonamiento se aplican a los símbolos del dominio del discurso, además de proveer operadores como cuantificadores, operadores modales, etc. Esto, junto a una teoría de interpretación, da significado a las frases en la lógica.Cuando diseñamos un sistema de representación del conocimiento para interpretar frases y poder derivar inferencias de ellas, tenemos que hacer elecciones que permitan obtener un resultado lógico. La decisión más importante que hay que tomar es la expresividad de la representación del conocimiento. Cuanto más expresiva es, decir algo es más fácil y más compacto. Sin embargo, cuanto más expresivoes un lenguaje, más difícil es derivar inferencias automáticamente de él.
En cambio, la validez de estos dos argumentos depende del significado de las expresiones «o» y «no». Si alguna de estas expresiones se cambiara por otra, entonces podría ser que los argumentos dejaran de ser válidos. Por ejemplo:
1. Ni está soleado ni está nublado.
2. No está nublado.
3. Por lo tanto, está soleado.
Las...
Leer documento completo
Regístrate para leer el documento completo.