Sei sulla pagina 1di 4

Paquetes de horas

6 horas = $1800
8 horas = $2400
10 horas = $2800

https://sites.google.com/view/clasesdeipc/home
Lógica proposicional
La lógica es un metalenguaje, como lo es, por ejemplo, la matemática.
1+1=2
Un metalenguaje emplea un sistema de signos para englobar a otro sistema de signos.
1 engloba a “uno”
2 engloba a “dos”…
Esta particularidad de que un signo englobe o represente a otro, es lo que confiere su
carácter de tal a un metalenguaje.
“Meta” significa en griego “que encierra”.
La lógica proposicional, como metalenguaje, se ocupa de codificar lo que la gente dice
en un lenguaje natural, o sea, en un idioma en concreto (castellano, guaraní, swahili,
inglés…).

METALENGUAJE

LENGUAJE NATURAL

El metalenguaje de la lógica consiste en símbolos que se reparten entre:


Variables: p, q, r, s, t, (…) // A, B, C, D, (…)
Constantes: equivalen a las llamadas conectivas lógicas
Conectivas lógicas:
 Negación
 Conjunción
 Disyunción inclusiva
 Disyunción exclusiva
 Condicional
 Bicondicional

Constantes = conectivas
¿qué son las variables?
Las variables son unidades de información que aparecen en el discurso en su modalidad
informativa o declarativa.
Para comprender lo dicho, debemos saber que existen tres funciones del lenguaje:
1. Imperativa o directiva: dar órdenes, hacer preguntas, rogar (lo dicho ni es
verdadero, ni es falso, es simplemente imperativo)
2. Expresiva: deseos, emociones, lenguaje metafórico o poético, doble sentido,
interjecciones, etc. (lo dicho ni es verdadero, ni es falso, simplemente es
expresivo de una subjetividad concreta)
3. Informativa o declarativa: proposiciones informativas (puedo saber si lo dicho es
verdadero o es falso, con sólo contrastarlo empíricamente o demostrarlo
lógicamente).
a. 1 + 1 = 2 (es verdad porque se demuestra matemáticamente)
b. Soy del barrio de Flores y me llamo Ernesto (es verdad, porque contrasté
empíricamente que la persona se llama Ernesto y que vive en el barrio de
Flores)

EJEMPLOS DE FORMALIZACIÓN LÓGICA


En lógica proposicional, la formalización consiste en pasar al metalenguaje aquello que
se ha dicho en un lenguaje natural, siempre y cuando lo dicho sea una información.

Cuando paso de lo formal a lo concreto, o viceversa, elaboro un diccionario, es decir,


establezco qué será “p” y qué será “q”.
Diccionario:
P: vino José
Q: nos trajo regalos

“Me llamo Enrique y vivo en Paternal”


Diccionario:
P: me llamo Enrique
Q: vivo en Paternal
Formalización lógica del enunciado:
p . q

He escrito una información compuesta de dos informaciones, unidas por un “y”.


Un Enunciado compuesto o complejo es aquel que se divide en enunciados simples que
lo componen.
Enunciado simple 1: me fui de La Rioja
Enunciado simple 2: pasé a vivir en Córdoba
La unión de dos enunciados simples da como resultado un enunciado complejo o
compuesto.
La lógica proposicional denomina a los enunciados simples como proposiciones
atómicas y a los complejos como proposiciones moleculares.
Si no llueve, vamos de Juan

Diccionario:
P: llueve
Q: vamos de Juan

O bien es de mañana en Córdoba, o bien es de noche


P: es de mañana en Córdoba
Q: es de noche en Córdoba

Si llega la noche y no hemos salido, entonces no hemos salido y llegó la noche


Diccionario
P: llega la noche
Q: hemos salido

p y q son variables (¡!)


si = es el condicional
sí = es la afirmación
- ¿Vos te llamás Pablo?
- Si (mal)
- Sí (bien)

Sí, vino Raúl = p

Potrebbero piacerti anche