Lenguaje de la lógica proposicional.

Lenguaje objeto
●
Variables lógicas: p, q, r…

Constantes lógicas: ¬, ˄, ˅, , 
●

Signos auxiliares: ( )
●

Metalenguaje
●
Variables lógicas: G, D, E...; f, x, y...

Constantes lógicas: ⊨, ⊭
●
 Constantes lógicas o conectivas
veritativo funcionales.
Gamut, L. T. F. (2009) Lógica, Lenguaje y Significado: Introducción a la
Lógica. Buenos Aires: Eudeba, cap. 2.1, 2.2

negación conjunción disyunción Condicional ó Bicondicional

implicación ó equivalencia
material material

¬ ˄ ˅  
~ • ˅ ⊃ ≡
no y, pero ó si… entonces si y sólo si
 Formalización o traducción.
● Juan es humano. p
● Llueve. p
● Susana lleva nuevamente su sombrero violeta. p
●
Juan no es humano. p
Diccionario: p: Juan es humano.
●
No es cierto que Juan es humano. p
●
Juan es humano y llueve. p  q
●
Juan es humano y es una buena persona. p  q
Diccionario: p: Juan es humano, q: Juan es una buena persona.
●
Juan no es humano y llueve. p  q
●
Ni Juan es humano ni llueve. p  q
●
Juan no es humano pero no llueve. p  q
Diccionario: p: Juan es humano, q: llueve.
 Uso de signos auxiliares
● Llueve y hace frío. p ˄ q
● No llueve pero hace frío. ¬p ˄ q
● Llueve pero no hace frío. p ˄ ¬q
● Ni llueve ni hace frío. ¬p ˄ ¬q
● No es cierto que llueve y hace frío. ¬(p ˄ q)
● Llueve y hace frío o calor. p ˄ (q ˅ r) ó (p ˄ q) ˅ r
● Si llueve, entonces hace frío o calor. p → (q ˅ r)
Diccionario: p: llueve, q: hace frío, r: hace calor.
● Si llueve y hace frío, no hace calor. (p ˄ q) → ¬r
 Leyes de de Morgan
● No saque los brazos o la cabeza por la
ventanilla.
● ¬(p ˅ q) = ¬p ˄ ¬q
● No es recomendable correr y enhebrar una
aguja.
● ¬(p ˄ q) = ¬p ˅ ¬q
 Cuadrado proposicional de
oposición
p˄q ¬(p ˅ q) = ¬p ˄ ¬q

p˅q ¬(p ˄ q) = ¬p ˅ ¬q
 Negación

¬ f
1 0 V(f) = 1 sii V(f) = 0
ó
0 1
V(f) = 0 sii V(f) = 1
 Conjunción.
V(f  y) = 1 sii V(f) = 1 y V(y) = 1.

f ˄ y

1 1 1
1 0 0
0 0 1
0 0 0
Disyunción inclusiva.
V(f  y) = 1 sii V(f) = 1 ó V(y) = 1.

f ˅ y

1 1 1

1 1 0

0 1 1

0 0 0
Disyunción inclusiva vs. disyunción
exlusiva.

f ˅ y f ↮ y
1 1 1 1 0 1
1 1 0 1 1 0
0 1 1 0 1 1
0 0 0 0 0 0
 Bicondicional material.
V(f  y) = 1 sii V(f) = V(y).

f ↔ y
1 1 1
1 0 0
0 0 1
0 1 0
Bicondicional material vs disyunción
exclusiva.

f ↔ y f ↮ y
1 1 1 1 0 1
1 0 0 1 1 0
0 0 1 0 1 1
0 1 0 0 0 0
Condicional o implicación material.
V(f  y) = 1 sii V(f) = 0 ó V(y) = 1.

● Todo número mayor que 5 es mayor que 3.

● x>5→x>3 f → y
● 6>5→6>3 1 1 1
1 0 0
● 4>5→4>3 0 1 1
● 2>5→2>3 0 1 0
 Conectivas binarias.

f ˄ y f ˅ y f ↔y f →y
1 1 1 1 1 1 1 1 1 1 1 1
1 0 0 1 1 0 1 0 0 1 0 0
0 0 1 0 1 1 0 0 1 0 1 1
0 0 0 0 0 0 0 1 0 0 1 0
 Condición necesaria y suficiente.
●
Si nace en Berisso, nace en Argentina. pq
Diccionario: p: nace en Berisso, q: nace en
Argentina.
● Sólo si nace en Argentina, nace en Berisso.
qp
Diccionario: p: nace en Argentina, q: nace en
Berisso.
●
Si tiene 2 billetes de 10 $, tiene 20 $. pq
Diccionario: p: tiene 2 billetes de 10 $, q: tiene 20 $.
●
Sólo si tiene 20 $, tiene 2 billetes de 10 $. qp
Diccionario: p: tiene 20 $, q: tiene 2 billetes de 10 $.
● Tener 2 billetes de 10 $ es condición suficiente para
tener 20 $. pq
Diccionario: p: tiene 2 billetes de 10 $, q: tiene 20 $.
● Tener 20 $ es una condición necesaria de tener dos
billetes de 10 $. qp
Diccionario: p: tiene 20 $, q: tiene 2 billetes de 10 $.
 Fórmula bien formada (fbf).
Gamut, L. T. F. (2009) Lógica, Lenguaje y Significado: Introducción a la
Lógica. Buenos Aires: Eudeba, cap. 2.3.
● Definición 1.
i) Las letras proposicionales son fbfs.
ii) Si f es una fbf entonces f también.
iii) Si f y y son fbfs entonces fy, fy, fy,
fy también.
iv) Sólo las expresiones que pueden ser
generadas mediante las cláusulas i)-iii) en un
número finito de pasos son fbfs.
Semántica de la lógica proposicional.
Gamut, L. T. F. (2009) Lógica, Lenguaje y Significado: Introducción a la
Lógica. Buenos Aires: Eudeba, cap. 2.5.

● Principio de composicionalidad del significado

Gamut (1.2, 1.4):
La interpretación de una conectiva es contextual o
sincategoremática; es decir, una conectiva se
interpreta como una función de sus partes
componentes. El significado de una expresión
compuesta queda determinado por los significados
de sus expresiones componentes. Una fórmula
molecular o compuesta es una función de sus partes
atómicas o componentes.
 Tautología.
p  p

1 1 1

0 1 0
 Árbol constructivo.
(p  q)  (q  p)

pq q  p
p q q p
q p
(p → q) → (¬ q → ¬ p)
1 1 1 1 0 1 1 0 1
1 0 0 1 1 0 0 0 1
0 1 1 1 0 1 1 1 0
0 1 0 1 1 0 1 1 0
(p → q) → (¬ q → ¬ p)
1 1 1 1
1 0 0 1
0 1 1 0
0 0 0 0
(p → q) → (¬ q → ¬ p)
1 1 0 1 0 1
1 0 1 0 0 1
0 1 0 1 1 0
0 0 1 0 1 0
(p → q) → (¬ q → ¬ p)
1 1 1 0 1 1 0 1
1 0 0 1 0 0 0 1
0 1 1 0 1 1 1 0
0 1 0 1 0 1 1 0
(p → q) → (¬ q → ¬ p)
1 1 1 1 0 1 1 0 1
1 0 0 1 1 0 0 0 1
0 1 1 1 0 1 1 1 0
0 1 0 1 1 0 1 1 0
 Contradicción.

p  p
1 0 01
0 0 10
p  p
1 1
0 0
p  p
1 01
0 10
p  p
1 0 01
0 0 10
(p ˄ q) ˄ ¬ (¬ p ˅ q)
1 1 1 0 0 0 1 1 1
1 0 0 0 1 0 1 0 0
0 0 1 0 0 1 0 1 1
0 0 0 0 0 1 0 1 0
(p ˄ q) ˄ ¬ (¬ p ˅ q)
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
(p ˄ q) ˄ ¬ (¬ p ˅ q)
1 1 0 1 1
1 0 0 1 0
0 1 1 0 1
0 0 1 0 0
(p ˄ q) ˄ ¬ (¬ p ˅ q)
1 1 1 0 1 1 1
1 0 0 0 1 0 0
0 0 1 1 0 1 1
0 0 0 1 0 1 0
(p ˄ q) ˄ ¬ (¬ p ˅ q)
1 1 1 0 0 1 1 1
1 0 0 1 0 1 0 0
0 0 1 0 1 0 1 1
0 0 0 0 1 0 1 0
(p ˄ q) ˄ ¬ (¬ p ˅ q)
1 1 1 0 0 0 1 1 1
1 0 0 0 1 0 1 0 0
0 0 1 0 0 1 0 1 1
0 0 0 0 0 1 0 1 0
 Contingencia.

p  p
1 0 01
0 1 10
p  p
1 1
0 0
p  p
1 01
0 10
p  p
1 0 01
0 1 10
 CONTINGENCIA
(p ˄ q) ˄ (¬ p ˅ q)
1 1 1 1 0 1 1 1
1 0 0 0 0 1 0 0
0 0 1 0 1 0 1 1
0 0 0 0 1 0 1 0
(p ˄ q) ˄ (¬ p ˅ q)
1 1 1 1
1 0 1 0
0 1 0 1
0 0 0 0
(p ˄ q) ˄ (¬ p ˅ q)
1 1 0 1 1
1 0 0 1 0
0 1 1 0 1
0 0 1 0 0
(p ˄ q) ˄ (¬ p ˅ q)
1 1 1 0 1 1 1
1 0 0 0 1 0 0
0 0 1 1 0 1 1
0 0 0 1 0 1 0
(p ˄ q) ˄ (¬ p ˅ q)
1 1 1 1 0 1 1 1
1 0 0 0 0 1 0 0
0 0 1 0 1 0 1 1
0 0 0 0 1 0 1 0
 Teoremas.
● Teorema 1.
f ⟚ y sii V(fy) = 1
● Teorema 2.
Si f es una tautología, entonces f es una contradicción
● Teorema 3.
Si f es una contradicción, entonces f es una tautología
● Teorema 4.
Si f es una contingencia, entonces f es una contingencia
(p  (q  r))  ((p  q)  (p  r))
1 1 1 1 1 1 1
1 1 0 1 1 1 0
1 0 1 1 0 1 1
1 0 0 1 0 1 0
0 1 1 0 1 0 1
0 1 0 0 1 0 0
0 0 1 0 0 0 1
0 0 0 0 0 0 0
(p  (q  r))  ((p  q)  (p  r))
1 1 1 1 1 1 1 1 1 1
1 1 0 0 1 1 1 1 0 0
1 0 1 1 1 0 0 1 1 1
1 0 1 0 1 0 0 1 0 0
0 1 1 1 0 1 1 0 1 1
0 1 0 0 0 1 1 0 1 0
0 0 1 1 0 1 0 0 1 1
0 0 1 0 0 1 0 0 1 0
(p  (q  r))  ((p  q)  (p  r))
1 1 1 1 1 1 1 1 1 1 1 1
1 0 1 0 0 1 1 1 0 1 0 0
1 1 0 1 1 1 0 0 1 1 1 1
1 1 0 1 0 1 0 0 1 1 0 0
0 1 1 1 1 0 1 1 1 0 1 1
0 1 1 0 0 0 1 1 1 0 1 0
0 1 0 1 1 0 1 0 1 0 1 1
0 1 0 1 0 0 1 0 1 0 1 0
(p  (q  r))  ((p  q)  (p  r))
1 1 1 1 1 1 1 1 1 1 1 1 1
1 0 1 0 0 1 1 1 1 0 1 0 0
1 1 0 1 1 1 1 0 0 1 1 1 1
1 1 0 1 0 1 1 0 0 1 1 0 0
0 1 1 1 1 1 0 1 1 1 0 1 1
0 1 1 0 0 1 0 1 1 1 0 1 0
0 1 0 1 1 1 0 1 0 1 0 1 1
0 1 0 1 0 1 0 1 0 1 0 1 0
(p ˄ q) → (r → (p ˅ s))
1 1 1 1 1
1 1 1 1 0
1 1 0 1 1
1 1 0 1 0
1 0 1 1 1
1 0 1 1 0
1 0 0 1 1
1 0 0 1 0
0 1 1 0 1
0 1 1 0 0
0 1 0 0 1
0 1 0 0 0
0 0 1 0 1
0 0 1 0 0
0 0 0 0 1
0 0 0 0 0
(p ˄ q) → (r → (p ˅ s))
1 1 1 1 1 1 1
1 1 1 1 1 1 0
1 1 1 0 1 1 1
1 1 1 0 1 1 0
1 0 0 1 1 1 1
1 0 0 1 1 1 0
1 0 0 0 1 1 1
1 0 0 0 1 1 0
0 0 1 1 0 1 1
0 0 1 1 0 0 0
0 0 1 0 0 1 1
0 0 1 0 0 0 0
0 0 0 1 0 1 1
0 0 0 1 0 0 0
0 0 0 0 0 1 1
0 0 0 0 0 0 0
(p ˄ q) → (r → (p ˅ s))
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 0
1 1 1 0 1 1 1 1
1 1 1 0 1 1 1 0
1 0 0 1 1 1 1 1
1 0 0 1 1 1 1 0
1 0 0 0 1 1 1 1
1 0 0 0 1 1 1 0
0 0 1 1 1 0 1 1
0 0 1 1 0 0 0 0
0 0 1 0 1 0 1 1
0 0 1 0 1 0 0 0
0 0 0 1 1 0 1 1
0 0 0 1 0 0 0 0
0 0 0 0 1 0 1 1
0 0 0 0 1 0 0 0
(p ˄ q) → (r → (p ˅ s))
1 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 0
1 1 1 1 0 1 1 1 1
1 1 1 1 0 1 1 1 0
1 0 0 1 1 1 1 1 1
1 0 0 1 1 1 1 1 0
1 0 0 1 0 1 1 1 1
1 0 0 1 0 1 1 1 0
0 0 1 1 1 1 0 1 1
0 0 1 1 1 0 0 0 0
0 0 1 1 0 1 0 1 1
0 0 1 1 0 1 0 0 0
0 0 0 1 1 1 0 1 1
0 0 0 1 1 0 0 0 0
0 0 0 1 0 1 0 1 1
0 0 0 1 0 1 0 0 0
(p ˄ q) → (r → (p ˅ s))
1 1 1
1 1 1
1 1 1
1 1 1
0 1 1
0 1 1
0 1 1
0 1 1
0 1 1
0 1 0
0 1 1
0 1 1
0 1 1
0 1 0
0 1 1
0 1 1
 Completitud funcional.
Gamut, L. T. F. (2009) Lógica, Lenguaje y Significado: Introducción a la Lógica.
Buenos Aires: Eudeba, cap. 2.6.
● El lenguaje de la lógica proposicional puede
enriquecerse agregando nuevas conectivas.
¿es necesario? ¿se pueden expresar todos los
significados posibles?
a) f1 b) f2 c) f3 d) f4
x f1(x) x f2(x) x f3(x) x f4(x)
1 1 1 1 1 0 1 0
0 1 0 0 0 1 0 0
 Daga de Quine.
V(f  y) = 1 sii V(f) = 0 y V(y) = 0.

f  y
1 0 1
1 0 0
0 0 1
0 1 0
 Trazo de Sheffer.
V(f  y) = 0 sii V(f) = 1 y V(y) = 1.

f  y
1 0 1
1 1 0
0 1 1
0 1 0