Professional Documents
Culture Documents
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.
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.
Ejemplo 3
Ejemplo 4
Ejemplo 5
A ∨ B ∧ C ≡ (A ∨ B) ∧ C
¬A
(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
A → B ≡ ¬A ∨ B
A→B
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
A → B ≡ ¬A ∨ B
A → B ≡ B ∨ ¬A
C → D ≡ ¬C ∨ D
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.
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.
Φ = ¬A ∨ A
F1 ∧ F2 , ..., ∧Fn → G
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
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)
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
¬(A ∨ B) = ¬A ∧ ¬B
¬(A ∧ B) = ¬A ∨ ¬B
Para hacer las demostraciones usar:
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.)