LÓGICA PROPOSICIONAL

Instructor: Marcos Villagra Clase # 1

Escriba: Marı́a Belén Martı́nez Pavetti Fecha de la Clase: 26 de octubre de 2017

Definición 1 Proposición. Expresiones que pueden ser Falsas o Verdaderas (F o V).

Ejemplo 1 Consideremos la Proposición A = El gato es negro.

Usamos letras mayúsculas (”A” en el ejemplo) para indicar proposiciones.

A una proposición falsa, le asignamos el valor ”0” (cero).
A una proposición verdadera, le asignamos el valor ”1” (uno).

Definición 2 Conjunción y Disyunción. Son operadores que permiten formar una senten-
cia, tomando una proposición y uniéndola con otra.
La conjunción ”O” (logical or, o también lor) se representa por el sı́mbolo ”∨”.
La disyuncón ”Y” (logical and, o también land se representa por el sı́mbolo ”∧”.

Ejemplo 2 La expresión
A∨B
que se se lee ”A o B”, es una disyunción.
En la Tabla 1 tenemos la tabla de la verdad para la disyunción.

Table 1: Tabla de la Verdad para la Disyunción

A B ∨
0 0 0
0 1 1
1 0 1
1 1 1

Esta tabla representa que basta que una de las dos proposiciones de una expresión dada
por la disyunción de estas propocisiones sea verdadera para que toda la expresión sea ver-
dadera. Por lo tanto, la sentencia es falsa sólo cuando ambas proposiciones lo sean.
Por otra parte, la expresión
A∧B
se lee ”A y B”, y es una conjunción.
En la Tabla 2 tenemos la tabla de la verdad para la conjunción.

Table 2: Tabla de la Verdad para la Conjunción

A B ∧
0 0 0
0 1 0
1 0 0
1 1 1
 Esta tabla representa que si una de las proposiciones de una expresión dada por la con-
junción de dos preposiciones es falsa, toda la expresión es falsa. Por lo tanto, la sentencia
verdadera sólo cuando ambas proposiciones lo sean.

Ejemplo 3

Proposición 1 El gato es negro.

Proposición 2 El gato es pequeño.

Si el gato es negro y pequeño, la expresión dada por la conjunción de ambas proposiciones
es verdadera.

Ejemplo 4

Proposición 3 El gato es negro.

Proposición 4 El gato es pequeño.

Si el gato es blanco y es grande, la expresión dada por la disyunción de ambas proposi-
ciones es falsa.
Nota 1: A las proposiciones también las llamaremos átomos, pues son la unidad básica
de trabajo.
Nota 2: Los operadores ”∨” y ”∧” tienen el mismo orden de precedencia.

Ejemplo 5
A ∨ B ∧ C ≡ (A ∨ B) ∧ C

Definición 3 Negación. Es un operador, representado por el sı́mbolo ”¬”, que invierte la

proposición. Intercambia ”1” por ”0” y ”0” por ”1”.

Ejemplo 6 Si tenemos una proposición A, la negación de A es

¬A

y se lee ”no A”.

Ejemplo 7 Podemos tener sentencias más elaboradas o complejas, como

(A ∨ B ∧ C)

o también
(A ∧ B) ∨ (B ∧ C)
a las cuales puede aplicarse el operador de negación ¬, haciendo

¬(A ∨ B ∧ C)

o
¬((A ∧ B) ∨ (B ∧ C))

2
 En estos casos debe tenerse en cuenta el orden de precedencia de las operaciones.

Ejemplo 8 El operador ”¬” tiene precedencia sobre los operadores ”∨” y ”∧”, es decir,
se aplican en el sentido de lectura de la sentencia. En sentencias complejas, los paréntesis
indican que la operación delimitada por ellos debe realizarse primero.

A ∨ ¬B ∧ C ≡ (A ∨ ¬B) ∧ C

Definición 4 Implicancia. También llamado implicación o condicional, es un operador

representado por el sı́mbolo ”→” que se define matemáticamente como

A → B ≡ ¬A ∨ B

expresión que se lee ”A implica B es equivalente a no A o B”.

Table 3: Tabla de la Verdad para la Implicancia

A B →
0 0 1
0 1 1
1 0 0
1 1 1

Nota 3: Si tenemos una implicancia

A→B

la proposición ”A” es la premisa y la proposición ”B” es la consecuencia. Tanto ”A” como

”B” pueden ser proposiciones aisladas (átomos) o sentencias enteras (moléculas).
Nota 4: Tanto en la implicación ”→” como en la conjunción ”∨”, el operador NO
es exclusivo, es decir:
A∨B
significa ”A” o ”B” o ambas proposiciones. No tiene el mismo significado que tendrı́a
en el lenguaje natural, que se interpreta como ”o A o B”. Lo mismo ocurre con

A→B

significa que la proposición ”B” puede ser verdadera aunque ”A” sea falsa. Una
cosa es que la premisa sea verdadera y otra cosa es que la consecuencia lo sea. Si ”A” es
falsa, inmediatamente toda la sentencia es verdadera (no podemos concluir nada sobre B).
Cómo leer la Implicancia o condicional

A→B

se lee si ”A”, entonces ”B”, o bien, ”B” sólo si ”A”. Esto quiere decir que ”A” es
condición suficiente de ”B”. Esta expresión sólo puede interpretarse de una forma, pues el
lenguaje matemático no tiene ambigüedades.
Si tenemos, por ejemplo, A si B, B es una condición necesaria de A.

3
Definición 5 Doble Implicancia. También expresada como doble implicación o bicondicional,
es un operador representado por el sı́mbolo ”↔”, definido matemáticamente como

A ↔ B ≡ (A → B) ∧ (B → A)

que se lee ”A si y sólo si B”. A veces tambiı́en se escribe de las siguientes formas:

AssiB

AsiiB

Table 4: Tabla de la Verdad para la Doble Implicancia

A B ↔
0 0 1
1 0 0
0 1 0
1 1 1

Propiedades de la Implicancia y la Doble Implicancia

1 Contrapositivo o contraposición de A → B. No B implica no A, que se representa
por
¬B → ¬A
es decir,
A → B ≡ ¬B → ¬A
Demostración.
De la definición de implicación,

A → B ≡ ¬A ∨ B

Como la conjunción es conmutativa,

A → B ≡ B ∨ ¬A

Nuevamente, aplicando la definición de implicación, tenemos que

C → D ≡ ¬C ∨ D

Entonces, si hacemos C = B y D = ¬A, nos queda

A → B ≡ ¬B → ¬A

L. C. Q. D.

Definición 6 Sentencia. En lógica proposicional, es una expresión que puede ser Falsa o
Verdadera.

Definición 7 Interpretación. Es la asignación de valores a las preposiciones o átomos. Si

representamos a una sentencia por Φ, y a las proposiciones que conforman la sentencia por
xi , con i = 1, 2, ..., n, hacemos una interpretación al poder las xi ser falsas o verdaderas, es
decir, xi = 0, 1.

4
Definición 8 Sentencia satisfacible. Una sentencia Φ es satisfacible si existe una asig-
nación de valores de xi que hace que la sentencia sea verdadera.

Ejemplo 9 Sea la sentencia

Φ=A∨B
Para que Φ sea satisfacible, es decir, sea verdadera, basta que una de las proposiciones lo
sea.

Ejemplo 10 Sea la sentencia

Φ = ¬A ∧ A
No hay forma de asignarle valores a la proposición A para que la sentencia Φ sea verdadera,
es decir Φ no es satisfacible.
Nota 4: Cuando una sentencia no es satisfacible se dice que es una fórmula inconsis-
tente.

Definición 9 Sentencia válida. Si una sentencia es verdadera para toda asignación de

valores de las proposiciones, entonces la sentencia es válida, lo que también se conoce como
tautologı́a.

Ejemplo 11 Consideremos la sentencia Φ dada por

Φ = ¬A ∨ A

La sentencia Φ es una sentencia válida.

Nota 5: Para que una sentencia sea satisfacible, basta que haya una asignación que
la haga verdadera. Para que una sentencia sea válida, todas las asignaciones deben hacer
que la sentencia sea verdadera.

Definición 10 Operaciones Booleanas. Son fórmulas de lógica proposicional.

Definición 11 Consecuencia lógica. Sean F1 , F2 , ..., Fn fórmulas de lógica proposicional

(booleanas). Entonces, decimos que G es una consecuencia lógica de F1 , F2 , ..., Fn , si para
cualquier interpretación I sobre la cual F1 ∧F2 , ..., ∧Fn es verdadera, G también es verdadera
en I.
Explicación. F1 , F2 , ..., Fn es una colección de fórmulas, que las unimos a través del
operador ∧. Entonces, G es una consecuencia lógica de la unión para toda interpretación
en que
F1 ∧ F2 , ..., ∧Fn |= G
El sı́mbolo ”|=” se usa para representar una implicación muy fuerte. (En inglés se dice ”G
entails F1 , F2 , ..., Fn ”).
Nota 6: G es una consecuencia lógica de F1 ∧ F2 , ..., ∧Fn si y sólo si

F1 ∧ F2 , ..., ∧Fn → G

lo cual es una taulotogı́a.

Demostración. Para esta demostración, usamos como estrategia descomponer el ”si y solo
si” en dos implicancias, es decir

A ↔ B ≡ (A → B) ∧ (B → A)

5
siendo A = F1 ∧ F2 , ..., ∧Fn y B = G.
Por un lado, demostramos A → B. Como tenemos que la proposición A es verdadera,
F1 ∧ F2 , ..., ∧Fn = 1
lo que en la definición de implicancia queda
F1 ∧ F2 , ..., ∧Fn → G ≡ ¬(F1 ∧ F2 , ..., ∧Fn ) ∨ G
y como sabemos que G = 1, nos queda
0∨1=1
Por otra parte, tenemos que B → A, es decir
G → F1 ∧ F2 , ..., ∧Fn ≡ 0 ∨ 1 = 1
Con lo cual, usando ambas implicaciones, tenemos
(A → B) ∧ (B → A) = 1 ∧ 1

LÓGICA DE PRIMER ORDEN

En la lógica proposicional no se puede expresar todo lo que uno quiere.

Ejemplo 12 Si usamos la proposición ”gato negro”, con qué proposición podemos referirnos
a todos los otros gatos?
Hay conjuntos de colecciones de infinitos elementos. Cómo podemos establecer una lógica
que abarque a los infinitos elementos, como por ejemplo, el conjunto de los números reales?

Definición 12 Dominio. Conjunto o colección que contiene a los elementos que estamos
analizanto. Usaremos letras mayúsculas para representar a estos conjuntos o colecciones de
cosas.

Ejemplo 13 D es el conjunto de todos los gatos del planeta tierra (conjunto finito). Pode-
mos enumerarlos, haciendo
D = {1, 2, 3, ..., n}
donde las llaves se emplean para identificar el conjunto, y los nombres de los elementos del
mismo se colocan entre comas. R es el conjunto de los números reales (conjunto infinito)

Definición 13 Predicado. Es el átomo de la Lógica de Primer Orden (LPO). F o V de-

pende del elemento del conjunto al cual nos referimos. Al predicado lo representamos como
P (x) = x es un gato negro Para construir sentencias en la LPO usamos variables involu-
cradas en el predicado.

Ejemplo 14 Si decimos ”n es un cuadrado perfecto”, la variable del predicado es ”n”.

Para construir una sentencia, es conveniente usar abreviaciones, que también reciben
el nombre de cuantificadores. Los operadores que hemos definido para la Lógica Proposi-
cional se aplican a la LPO de la misma manera.

Ejemplo 15La siguiente es una oración o sentencia de lógica proposicional:

P (x) ∧ Q(x)
donde la ”x” recibe el nombre de variable libre (free variable).

6
Definición 14 Cuantificador Existencial ∃. No podemos saber si un predicado es falso o
verdadero, pues depende del valor de la variable. De dónde sale este valor? Debemos saber
que
x∈D
Para empezar a trabajar con valores en LPO, usamos cuantificadores. No es conveniente
hacer
Gato 1: es negro.
Gato 2: es negro. . . .
Gato n: es negro.
Con lo que tendrı́amos
P (1) ∨ P (2) ∨ ... ∨ P (n)
En lugar de eso, usamos la notación de cuantificador existencial

∃x ∈ D, P (x)

que se leerı́a ”existe un gato en el planeta tierra tal que el gato es negro”, siendo la definición
de P(x)
P (x) ≡ P (1) ∨ P (2) ∨ ... ∨ P (n)
El sı́mbolo ”∃”, que es el cuantificador existencial, nunca se usa solo, siempre se usa la
notación ”∃ + objeto+ ∈ +conjunto, predicado”, leyéndose ”existe un x en D tal que P(x)
es Verdadero” (en inglés, ”there exists an x in D such that P(X)”, o también ”there is some
x ...”.
Demostrar que ∃ cierta proposición es demostrar un ”or ∨.”

Definición 15 Cuantificador Universal ∀. Se usa como una forma abreviada para referirse
a todos los elementos de un conjunto. Tiene la siguiente notación

∀x ∈ D, P (x) ≡ P (1) ∧ P (2) ∧ ... ∧ P (n)

Definición 16 Propiedades o Leyes de Morgan

¬(A ∨ B) = ¬A ∧ ¬B
¬(A ∧ B) = ¬A ∨ ¬B
Para hacer las demostraciones usar:

¬∃x ∈ D, P (x) = ¬P (1) ∨ ¬P (2) ∨ ... ∨ ¬P (n) = ∀x ∈ D, ¬P (x)

Análogamente,
¬∀x ∈ D, P (x) = ∃x ∈ D, ¬P (x)
Orden de precedencia de los cuantificadores

∀∃ =
6 ∃∀

Es decir, expresar
∀x ∈ D1 , ∃y ∈ D2 , P (x, y)
no es igual que
∃x ∈ D1 , ∀y ∈ D2 , P (x, y)

7
Ejemplo 16

La primera expresión es equivalente a: ”Para todos los paraguayos, existe una comida
tı́pica que no les gusta”, pudiendo esta comida tı́pica ser diferente en cada caso.
Por otra parte, la segunda expresión es equivalente a ”existe una comida tı́pica que a
todos los paraguayos no les gusta”, implicando que la comida que no les gusta a todos los
paraguayos es la misma.
Complementar esta clase con una lectura sobre las propiedades (conmutativa, distribu-
tiva, etc.)