El documento presenta los diferentes sistemas lógicos elementales como la lógica proposicional y la lógica de predicados. Explica que estos sistemas tienen en común una etapa previa de simbolización a dos niveles, frases declarativas simples y proposiciones, y que dentro de cada nivel se pueden considerar dos formas de presentar las estructuras deductivas correctas: la semántica a través de la teoría de modelos y la sintáctica a través de la teoría de la demostración y dedu

1. sistemas
lógicos
facilitadora: nidia gonzález

2. forma de presentación
Se toma como base los componentes de una
proposición, términos, cuantificadores, entre
otros.
LÓGICA DE PREDICADOS
La presentación de los diferentes sistemas lógicos elementales tienen en
común, una etapa previa de simbolización que suele hacerse a dos niveles:
Frases declarativas simples, enunciados y
proposiciones.
LÓGICA PROPOSICIONAL

3. Definición de significados (verdadero, falso...), definición de
las estructuras deductivas correctas a partir de la relación
de significados de los elementos de la deducción: Teoría
de modelos.
SEMÁNTICA
Dentro de cada uno de estos niveles de representación del lenguaje, se pueden
considerar dos formas de presentar las estructuras deductivas correctas:
Definición axiomática de una serie de estructuras
deductivas correctas y de reglas para obtener nuevas
estructuras deductivas correctas a partir de aquellas:
Teoría de la demostración y Deducción natural.
SINTÁCTICA

4. ejemplo 1
Si Sócrates es un hombre entonces Sócrates es mortal;
Sócrates es un hombre;
___________________________________________
Sócrates es mortal.
Sócrates es un hombre;
_____________________________
Sócrates es mortal.

5. ejemplo 1
Si A entonces B;
A;
_______________
B.
A;
_______________
B.
La introducción de letras mayúsculas A, B, C, ... para representar
enunciados facilita el análisis de la corrección de los argumentos:
Form
a
Enunciativa

6. No dudes en ponerte en contacto.
Comunícate con la facilitadora
Nidia González en caso de tener
cualquier pregunta o aclaración.