Elementos de Lógica

1 Proposiciones Lógicas
• Una proposición lógica es un enunciado al cual se le puede asignar un valor de verdad,
verdadero (V ) o falso (F ). Denotaremos a estas por letras minúsculas p, q, r, . . . etc.

• A partir de proposiciones podemos construir otras proposiciones mediante operaciones

básicas ( proposiciones compuestas). Estas operaciones son: la negación, la conjunción
o producto lógico, la disyunción o suma lógica, la disyunción excluyente, la implicación
o condicional y la doble implicación o bicondicional.

2 Conectivos Lógicos
• Al operar con proposiciones y según sean tales operaciones, se utilizan ciertos símbolos,
llamados Conectivos Lógicos

Conectivo Operación Significado

p̄ o ∼ p negación no p o no es cierto que p
p∧q conjunción p y q
p∨q disyunción p o q (incluyente)
pq disyunción excluyente p ó q (excluyente)
p⇒q implicación p implica q o, si p entonces q
p⇔q doble implicación p sí y sólo si q

3 Tablas de Verdad
• Las operaciones básicas se definen mediante Tablas de Verdad.

• Para la negación de una proposición p, se tiene la tabla de verdad

p ∼p
V F
F V

• Dadas dos proposiciones p y q, las posibles combinaciones de sus valores de verdad V

o F son,
p q
V V
V F
F V
F F

• En este contexto las operaciones básicas quedan definidas en la siguiente tabla de

verdad

p q p∧q p∨q pq p⇒q p⇔q

V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

• En la proposición p ⇒ q , p se llama el antecedente o Hipótesis y q el consecuente o

Tésis de la implicación . Esta implicación lógica establece que p es condición suficiente
para q o que q es condición necesaria para p .

1
• El bicondicional p ⇔ q , conocida también como Equivalencia Lógica establece que
p es condición necesaria y suficiente para q .
Dada dos o más proposiciones, usando los conectivos lógicos podemos construir nuevas
proposiciones.
Una proposición que contiene conectivos se llama “proposición compuesta”.
El cálculo proposicional se preocupa de la determinación del valor lógico de una
proposición compuesta a partir de los valores lógicos de las proposiciones básicas que la
componen. A una proposición compuesta se le asocia una tabla de valores lógicos, con
2n valores en cada columna, donde n es el número de símbolos distintos que representan
a las componentes de la proposición. El uso reiterado, de la tabla que describe los
posibles valores lógicos asociado a cada conectivo, permite determinar el valor lógico
de una proposición compuesta.

A las proposiciones compuestas las denotaremos por letras mayúsculas: P , Q, R, A;

B; C; etc.

Ejemplo

Sea P: (p ∧ q) =⇒ r, donde p,q,r proposiciones básicas tales que:

p es V; q es F y r es V determinar el valor lógico de A.
Respuesta: El valor de P es V, en efecto:
como p es V y q es F entonces p∧q es F, luego si p∧q es F y r V, entonces obtenemos
que
P: (p∧q)=⇒r es V .
¿Qué ocurre si no conocemos los valores lógicos de p,q y r? en tal caso no habríamos
podido obtener el valor lógico para P. Lo que si podemos hacer es considerar, todas
las combinaciones posibles de valores lógicos para p, q, r y determinar el valor lógico
de p en cada caso, es decir, podemos asociar una tabla de valores a la proposición P
obteniendo:Llamaremos proposición compuesta a cualquier proposición que contiene
conectivos lógicos. El valor de verdad de una proposición compuesta depende del valor
de verdad de las proposiciones que la componen y de los conectivos lógicos que definen
a la proposición. En caso de no conocer los valores de verdad de las proposiciones
componentes que define la Proposición compuesta se construye la tabla de verdad
asociada a la Proposición compuesta
Ejemplo: Hallar la tabla de verdad asociada a (p ∨ q) ⇒ (p ∧ r)
p q r p∨q p∧q (p ∨ q) ⇒ (p ∧ q)
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F V F F
F F V F F V
F F F F F V

2
4 Tautologı́as
• Una Tautología o Teorema lógico es una proposición compuesta que es siempre ver-
dadera independientemente del valor de verdad de las proposiciones componentes. Una
proposición siempre falsa es una Contradicción.

• Dadas las proposiciones p, q y r , algunas Tautologías importantes que son doble

implicación son
A Leyes Lógicas
1. Conmutatividad
p∨q ⇔ q∨p
p∧q ⇔ q∧p
2. Asociatividad
p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r
p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r
3. Distributividad
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) , ( ∧ respecto a ∨ )
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) , ( ∨ respecto a ∧ )

4. Doble negación o Involución

p̄ ⇔ p
5. Principio de Contradicción

(p ∧ p̄) ⇔ 1 (Tautología)

6. Principio del tercero excluído

p ∨ p̄ ⇔ V
7. Idempotencia
(p ∨ p) ⇔ p
(p ∧ p) ⇔ p

(p ∨ q) ⇔ p̄ ∧ q̄
8. Leyes de Morgan
(p ∧ q) ⇔ p̄ ∨ q̄
9. Contrarecíproca (p ⇒ q) ⇔ (q̄ ⇒ p̄)
p ∧ (p ∨ q) ⇔ p
10. Absorción
p ∨ (p ∧ q) ⇔ p
(p ∧ 1) ⇔ p (p ∨ 1) ⇔ 1
11. Identidad
( p ∧ 0) ⇔ 0 (Contradicción ) (p ∨ 0) ⇔ p

Definición Sean A y B son dos proposiciones compuestas,

Diremos que: A y B son equivalentes (A ≡ B ), Si y sólo si, ellas tienen los
mismos valores de verdad
Ejemplo : Sean A : p ∨ q y B : ˜p =⇒ q dos proposiciones compuestas.

p q p∨q ˜p ˜p =⇒ q
V V V F V
V F V F V
F V V V V
F F F V F
* *

Es evidente que: A≡B sí y sólo sí A⇐⇒ B es una tautología.

Todas las tautologias anteriores definen Proposiciones equivalentes

3
 B.- Algunas Equivalencias Fundamentales
E.1 (p ⇒ q) ≡ ˜p ∨ q
E.2 p ∧ (˜p ∨ q) ≡ p ∧ q
E.3 p ∨ (˜p ∧ q) ≡ p ∨ q
E.4 p ⇒ q ≡ ˜q ⇒ ˜p
E.5 p ⇒ q ≡ [(p ∧ ˜q) ⇒ 0]
E.6 (p ∧ q) ⇒ r ≡ p ⇒ (q ⇒ r)
E.7 (p ∧ q) ⇒ r ≡ (p ∧ ˜r) ⇒ ˜q
E.8 p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧ (p ⇒ r)
E.9 p ⇒ (q ∨ r) ≡ (p ⇒ q) ∨ (p ⇒ r)
E.10 (p ∧ q) ⇒ r ≡ (p ⇒ r) ∨ (q ⇒ r)
E.11 (p ∨ q) ⇒ r ≡ (p ⇒ r) ∧ (q ⇒ r)
E.12 ˜(p ⇐⇒ q) ≡ ˜p ⇐⇒ q ≡ p ⇐⇒ ˜q

C.- Tautologías importantes que son implicaciones:

T.1 p =⇒ p
T.2 p =⇒ (p ∨ q)
T.3 (p ∧ q) =⇒ p
T.4 [(p =⇒ q) ∧ p] =⇒ q
T.5 (p =⇒ q) =⇒ [p =⇒ (q ∧ r)]
T.6 (p =⇒ q) =⇒ [(p ∧ r) =⇒ q)]
T.7 [(p ∨ r) =⇒ q] =⇒ (p =⇒ q)
T.8 [p =⇒ (q ∧ r)] =⇒ (p =⇒ q)
T.9 (p =⇒ q) =⇒ [(p ∧ r) =⇒ (q ∧ r)]
T.10 (p =⇒ q) =⇒ [(p ∨ r) =⇒ (q ∨ r)]
T.11 [(p =⇒ q) ∧ (q =⇒ r)] =⇒ (p =⇒ r)
Observación

Un buen ejercicio es verificar que cada una de estas leyes, equivalencias implicaciones son
tautologías, para ello basta construir las tablas de verdad correspondientes y verificar que
sólo se obtiene V.

• Demostrar un teorema, en un contexto dado, significa hacer inferencia lógica a

partir de otros enunciados, aceptados como verdaderos o previamente demostrados (
llamadas premisas) .
La inferencia es el proceso que permite obtener una una conclusión q a partir de
un conjunto de premisas p1 , p2 , . . . , pk .
La inferencia es una implicación de la forma
( p1 ∧ p2 ∧, . . . ∧ pk ) ⇒ q,
esta implicación se llama el argumento lógico que permite obtener la conclusión q
a partir de las premisas p1 ,p2 ,. . . ,pk
Definición
Diremos que el argumento lógico ( implicación) ( p1 ∧ p2 ∧, . . . ∧ pk ) ⇒ q es un argu-
mento válido
Si sólo sí ( p1 ∧ p2 ∧, . . . ∧ pk ) ⇒ q es una tautología entonces diremos que:
el argumento que permite obtener la conclusión q a partir de las premisas p1 ,p2 ,. . . ,pk
.
Utilizando las tautologias que son implicaciones y las leyes las leyes lógicas podemos
establecer una serie de esquemas mediante los cuales es posible demostrar nuevos teore-
mas lógicos a partir de teoremas lógicos ya establecidos. En estos esquemas, llamados
Esquemas Deductivos o Reglas Deductivas, se basa el razonamiento matemático medi-
ante el cual se establecen nuevas proposiciones a partir de proposiciones ya demostradas
(o admitidas ).

4
 Algunos argumentos válidos:

1. Principio de Inferencia o Separación (modus ponens) T.4

“Si p =⇒ q es verdadera y p es verdadera, entonces concluímos que q es

verdadera”

• Ejemplo Dados a, b ∈ IN.

Si a − b > 0, entonces a > b es válido y, a − b > 0 es válido, entonces concluimos

que a > b.

La validez de un principio se puede verificar mediante una tabla , para el principio de

separación, se tiene que:

p q p =⇒ q (p =⇒ q) ∧ p [(p =⇒ q) ∧ p] =⇒ q
V V V V V
V F F F V
F V V F V
F F V F V
es una Tautología ( T.4)
El esquema deductivo asociado al principio anterior se representa por:

(A =⇒ B) y A entonces B

y se lee “Si A=⇒B es Válido y A es Válido entonces concluimos que B es válido”.

2. Principio de Inferencia equivalente

“Si p ⇐⇒ q es verdadera y p es verdadera, entonces concluimos que q es

verdadera”

• Ejemplo

Si A2 = B 2 ⇐⇒ (A − B = 0 ∨ A + B = 0) es válido y A2 = B 2 es válido ,
entonces (A − B = 0 ∨ A + B = 0) es válido

3. Principio de Silogísmo

”Si p =⇒ q es verdadera y q =⇒ r es verdadera, entonces concluimos que

p =⇒ r es verdadera”

• Ejemplo

Sea x ∈ IR, si x2 − 9 = 0 =⇒ (x − 3)(x + 3) = 0 y

(x − 3)(x + 3) = 0 =⇒ (x = 3 ∨ x = −3), entonces para x ∈ IR se tiene que:
( x2 − 9 = 0)=⇒(x = 3 ∨ x = −3).

5
 Cuantificadores

5 Función Proposicional
• Una función proposicional (f.p.) es una expresión o afirmación que contiene una
o más variables, la expresión se convierte en una proposición. en una proposición al
sustituir dicha(s) variable(s) por un (o algunos) elemento (s) de un conjunto referencial
(Universo) A.

• En otros términos, una función proposicional es un enunciado abierto con una variable
( también puede ser con más variables) del tipo p(x) ( o p(x, y) , p(x, y, z) ,...)
que al ser referido a un determinado conjunto referencial A , puede ser siempre,
parcialmente o nunca verdadero.

• Notemos que una f.p. p(x), no es una proposición, pero si genera proposiciones al
sustituir la variable x por un elemento a ∈ A ,esta proposiicón se denota por p(a)
Si p(a) es verdadera entonces se dice que el valor x=a, satiface a la f.p. p(x)
Ejemplo: Sea p(x) : x es divisible por 3 con A=Z
p(20) : 20 es divisible por 3 ( Falso ) P(174) es Verdadero

6 Cuantificador Universal
• Si queremos afirmar que todos los elementos x ∈ A cumplen p(x) ,
entonces simbolizaremos
∀x ∈ A, p (x)
esta expresión es una Proposición.,donde ∀ se lee “para todo”, o “para cada” o
“para cualquier” y se denomina cuantificador universal.
∀x ∈ A, p (x) se lee ”para todo x en A, p(x) es verdadero” o ”para todo x
en A, p(x) se cumple”

• En consecuencia :

U1) ∀x ∈ A, p (x) es verdadero si y sólo si p (a) es verdadero para cada a ∈ A .

U2) ∀x ∈ A, p (x) es falso si y sólo si existe al menos un elemento de a ∈ A para
el cual p (a) es Falso.
Con nuestro ejemplo: p(x) : x es divisible por 3 con A=Z
tenemos que ∀x ∈ A, p (x) ≡ ∀x ∈ Z, x es divisible por 3
es Falso porque p(-5) : -5 es divisible por 3 es Falso
Sin embargo ∀x ∈ R, x2 ≥ 0 es Verdadero ¿ por qué ? ;
∀n ∈ N, n(n + 1) es par es Verdadero ¿ por qué ?

7 Cuantificador Existencial
• Si queremos afirmar que para algunos elementos de a ∈ A se cumple p(x) . Esto es
si p(x) no se cumple para todos los elementos de A , sólo se cumple para algunos,
escribimos
∃ x ∈ A, p(x)
donde ∃ se lee “ existe ”,o “para algún ” o “hay ” y se denomina cuantificador
existencial.

Se tiene en consecuencia :

6
 E1) ∃ x ∈ A, p (x) es verdadero si y sólo si existe a lo menos un elemento a ∈ A
para el cual p (a) es verdadero.
E2) ∃ x ∈ A, p (x) es falso si y sólo no existe a ∈ A para el cual p (a) sea ver-
dadera, es decir p(a) es Falsa para cada a ∈ A
Con nuestro ejemplo:
p(x) : x es divisible por 3 con A=Z.
tenemos que ∃x ∈ A, p (x) ≡ ∃x ∈ Z, x es divisible por 3
es Verdadero porque p(-15) : -15 es divisible por 3 es Verdadero
Sin embargo ∃x ∈ Z, 3 < x < 4 es Falso ¿ por qué ? ;
∃n ∈ N, n(n + 1) = 35 es Falso ¿ por qué ?

8 Cuantificador Existencial Estricto

• Si p(x) se cumple para uno y solo un elemento del conjunto de referencial A . Esto
es si p(a) es Verdadero para un a ∈ A y p(b) es Falso para cada b ∈ A con b = a ,
escribimos
∃ ! x ∈ A , p(x)
donde ∃! se lee “ existe uno y solo uno ”,o “para un único ” ,o “ existe un único” y
se denomina cuantificador existencial estricto.

9 Negación de Cuantificadores
• Como los cuantificadores universal y existencial son proposiciones por lo tanto sus
negaciones son proposiciones y se relacionan mediante el conectivo de la negación.La
negación de cuantificadores se atiene a las siguientes leyes :

Si F(x) es una f.p. con referencia A, las negaciones de las proposiciones ”∀x ∈
A, p (x) ”; ”∃x ∈ A, p (x)” estan dadas por las siguientes equivalencias:

• Negación del Cuantificador Universal, Para todos

∼ [∀x ∈ A, p (x)] ≡ [∃x ∈ A, ∼ p(x)]

• Ejemplo
˜[(∀n ∈ IN)(n + 1 > 5)] ≡ [(∃n ∈ IN)(n + 1 ≤ 5)]

Esto sugiere el método del contraejemplo, ya que mostrar que una proposición:
∀x, F (x) es falsa, significa mostrar que ∃x, F (x) verdadera.

• Ejemplo ∼ [∀n ∈ N, n(n+1) es par] ⇐⇒ [∃n ∈ N, n(n + 1) es impar] es F also

• Negación del Cuantificador Existencial, Existe por lo menos uno

∼ [∃x ∈ A, p (x)] ≡ [∀x ∈ A, ∼ p(x)]

Ejemplo: ∼ [∃n ∈ N, n(n + 1) = 35] ≡ [∀x ∈ N, n(n + 1) = 35] es V erdadero

=================================================
curso : algebra i - ingenieria
UTA - i semestre 2009