MATEMÁTICA I

Licenciatura en Biotecnología
Licenciatura y Profesorado en Química

ÁLGEBRA Y GEOMETRÍA ANALÍTICA

Ingeniería Agronómica

Notas sobre
Lógica Proposicional

Dra. Lucrecia Lucía Chaillou

2020
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

LÓGICA PROPOSICIONAL

La Lógica es la ciencia que estudia los métodos y principios para distinguir un razonamiento
correcto del incorrecto.
La lógica proposicional trabaja con expresiones u oraciones declarativas o afirmativas a las
cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen
como sentencias declarativas o, simplemente, proposiciones.
Por ejemplo:

El número 4 es un número par (V) El número 3 es un múltiplo de 2 (F)

El cloruro de sodio es una sal (V) El delfín es un insecto (F)

Como se observa son oraciones de las que se puede decir que son verdaderas o falsas, sin embargo,
existen expresiones a las cuales es imposible indicar que son verdaderas o falsas. Por ejemplo:
¡Cómo estás? ¡Que lindo!
2
X +2=0 Por favor, alcánzame el cuaderno
Las proposiciones se representan mediante las variables proposicionales o letras enunciativas,
utilizando las últimas letras minúsculas del alfabeto: p, q, r, s, etc.
p: las rosas son flores
El valor de verdad de una proposición se indica con la letra V si es verdadero o con
F si es falso, pero no ambos valores a la vez.
Se formulan proposiciones, es decir se construyen fórmulas, a partir de
expresiones en lenguaje natural o coloquial (como hablamos).
Para ello, empleamos el lenguaje simbólico, llamado así porque utiliza una serie de
símbolos en la formulación de las proposiciones.
Las proposiciones pueden ser simples o compuestas.

PROPOSICIONES

SIMPLES COMPUESTAS
O O
ATÓMICAS MOLECULARES

Están formadas por una

Están formadas por
única proposición
combinación de
proposiciones simples
unidas por términos de
enlace denominados
conectivos lógicos o
constantes lógicas
Dra. L. Chaillou 2
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

Si se combinan proposiciones simples mediante los conectivos lógicos, se obtienen

proposiciones compuestas, esta combinación permite definir a las operaciones lógicas.

Las principales operaciones lógicas son: conjunción, disyunción incluyente y excluyente,

negación, condicional y bicondicional.

En la tabla que sigue se presentan los conectivos lógicos, su símbolo, la operación lógica
asociada, su expresión simbólica, su significado en lenguaje coloquial y un ejemplo.

Conectivo Símbolo del Operación Fórmulas Significado Ejemplo

lógico conectivo lógica proposicionales
no ∼ Negación ∼p No es cierto p Hoy no llueve
y ∧ Conjunción p∧
∧q p y q; La temperatura
p pero q; está entre 15oC
p sin embargo q
y 20oC
o ∨ Disyunción p∨
∨q p o q, una cosa Roberto es
(incluyente) u otra o ambas profesor o es
estudiante.
(Puede ser los
dos)
o excluyente ∨ Disyunción p∨ q p o q, una cosa La altura de la
excluyente o la otra, pero antena es 3 m ó
no ambas 4 m (la altura no
puede ser 3 y 4,
es 3m o es 4m

si…entonces… ⇒ Condicional o p⇒
⇒q Si p entonces q Si estudio
implicación entonces
aprobaré
si y sólo si ⇔ Bicondicional p⇔
⇔q p si y sólo si q Voy a ser
alumno de la
universidad sí y
solo sí apruebo
el curso de
ingreso

Cuando se formula una proposición compuesta, resulta necesario comprobar si realmente

corresponde a lo expresado en lenguaje coloquial. Vale decir que, se debe verificar si los valores de
verdad que ocurren para las distintas combinaciones de valores de verdad de las proposiciones simples
son los esperados. Para definir los valores de verdad de las operaciones lógicas, se utilizan las Tablas
de verdad.

Dra. L. Chaillou 3
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

Tablas de verdad

Negación La negación invierte el valor de verdad de la proposición

p ∼p negada, es decir, que cuando p es verdadera, ∼p es falsa, y
V F cuando p es falsa, ∼p es verdadera.
F V

Conjunción
La fórmula (p ∧ q) sólo es verdadera cuando p es
p q p∧q verdadera y q es verdadera, siendo falsa en todos los
V V V demás casos.
V F F
F V F
F F F

Disyunción
p q
La fórmula (p ∨ q) sólo es falsa en caso de que sus dos
p∨q proposiciones lo sean, y es verdadera en todos los
V V V demás supuestos.
V F V
F V V
F F F

Disyunción
excluyente La fórmula (p ∨ q) es verdadera en el caso de que sus
p q dos proposiciones tengan distintos valores de verdad.
p∨q
V V F
V F V
F V V
F F F

Condicional
p q
La fórmula (p ⇒ q) sólo es falsa en el caso de que su
p⇒q antecedente (p) sea verdadero y su consecuente (q) sea
V V V falso.
V F F
F V V
F F V

Dra. L. Chaillou 4
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

Bicondicional
p q
La fórmula (p ⇔ q) es verdadera en el caso de ambas
p⇔q proposiciones tiene n el mismo valor de verdad.
V V V
V F F
F V F
F F V

Fórmulas lógicas
Si se combinan las variables proposicionales mediante dos o más conectivos lógicos, se
obtienen las fórmulas proposicionales. Por ejemplo: (p∨
∨q) ∧ (p⇒
⇒q), (p∨
∨q) ∨p, etc.

Para determinar el valor de verdad de la fórmula, se debe construir una tabla de verdad que
tendrá 2n filas (valores de verdad), siendo n el número de variables proposicionales. La tabla de verdad
se confecciona teniendo en cuenta el orden de prioridad de los operadores lógicos. El orden de las
operaciones es:

1°) la negación (∼)

2°) la conjunción o la disyunción (∧; ∨; ∨)

3°) condicional o implicación (⇒)

4°) Bicondicional o doble implicación (⇔)

Por ejemplo encontrar el valor de verdad de la fórmula proposicional (p∧q)⇒r

Son tres proposiciones, por lo tanto el número de fila (o renglones) de la tabla es 23=8, se
colocan los valores de verdad de las tres variables proposicionales, como son 8, para la primera son 4 V
y 4 F, para la segunda son alternados de a dos V y F, para la última alternados V y F. De esta manera
se aseguran TODAS las combinaciones posibles
p ∧ q ⇒ r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Dra. L. Chaillou 5
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

Ahora, se resuelve en primer lugar la conjunción, recordando que sólo es V si ambas variables
son V y luego al resultado de la conjunción se lo enfrenta con los valores de verdad de la variable r,
resolviendo el condicional, recordando que el condicional es F solamente si el antecedente es V y el
consecuente F.

p ∧ q ⇒ r
V V V V V
V V V F F
V F F V V
V F F V F
F F V V V
F F V V F
F F F V V
F F F V F

Resultado

Clasificación de las fórmulas lógicas

De acuerdo con los valores de verdad, las fórmulas lógicas se clasifican en:

Clasificación de las
fórmulas lógicas

TAUTOLOGÍA CONTRADICCIÓN CONTIGENCIA

Es la fórmula en la Es la fórmula en la Es la fórmula en la

que todos sus que todos sus que sus valores de
valores de verdad valores de verdad verdad son
son Verdaderos son Falsos Verdaderos y
Falsos

Dra. L. Chaillou 6
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

Fórmulas lógicas equivalentes

Dos fórmulas lógicas son equivalentes (se simboliza con ≡) si tienen los mismos valores de
verdad para todos los posibles valores de verdad de sus componentes.

Teorema: Si dos fórmulas lógicas son eqivalentes entonces la fórmula que se obtiene al operarlas
con un bicondiconal es una tautología.
Por ejemplo, determine si las fórmulas p⇒
⇒q es equivalente a ∼p∨
∨q

p ⇒ q ⇔ ∼p ∨ q
V V V V F V V
V F F V F F F
F V V V V V V
F V F V V V F

Como se observa, el resultado del bicondicional es una tautología, por lo tanto son fórmulas
equivalentes.
Leyes lógicas
Las leyes lógicas son pares de fórmulas lógicas equivalentes. Entre estas leyes, se pueden
mencionar las siguientes:

1) Involución ∼(∼p)≡p
2) Idempotencia p∧p≡p
p∨p≡p
3) Conmutativa p∧q≡q ∧ p
p∨q≡q∨p
4) Asociativa (p∧q)∧r≡p ∧ (q ∧ r)
(p∨q)∨r≡p ∨ (q ∨ r)
5) Distributiva p∧(q∨r)≡(p ∧ q) ∨(p∧ r)
p∨(q∧r)≡(p ∨ q) ∧ (p∨r)
6) de De Morgan ∼(p∧q)≡∼p∨ ∼q
∼(p∨q)≡∼p∧ ∼q

Dra. L. Chaillou 7
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

Condicionales asociados
Dado el condicional p⇒q, que se denomina directo, se pueden presentar tres condicionales
asociados que son:
Recíproco: q ⇒ p
Contrario: ∼p ⇒ ∼q
Contrarrecíproco: ∼q ⇒ ∼p
Observación: las implicaciones contrarrecíprocas son equivalentes:
p ⇒ q ≡ ∼q⇒
⇒∼p
q ⇒ p≡ ∼p ⇒ ∼q

Forma o función proposicional

Una función proposicional es un enunciado abierto de la forma p(x), q(x), etc., que se
convierte en una proposición cuando se le asigna un valor específico a la variable. Puede definirse
también como una expresión que contiene una indeterminada y que se convierte en proposición al
sustituir la indeterminada por uno o varios nombres o por especificaciones concretas.
Por ejemplo:
p(x)= x es un número par (función proposicional)
Pero si se escribiera p(8)=8 es un número par esto es una proposición.
El conjunto referencial o existencial se define como el conjunto de objetos cuyos nombres
reemplazan a las indeterminadas.
Cuantificadores
Una función proposicional se puede convertir, también en proposición mediante cuantificadores,
los más empleados son el Cuantificador universal ( ∀ ) y el Cuantificador Existencial( ∃ ). Estos
cuantificadores indican cuántos o qué tipo de elementos de un conjunto dado cumplen con cierta
propiedad.

Cuantificador universal ( ∀)
Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se llama cuantificador
universal y se simboliza por “ ∀”.
Ejemplo:
∀x=1)/(x+4=4+x)
(

significa que todo "x" verifica la ecuación.

Nota: esta expresión se lee de la siguiente manera “para todo x=1 se verifica
que x+4=4+x".

Dra. L. Chaillou 8
 MATEMÁTICA I - ÁLGEBRA Y GEOMETRÍA ANALÍTICA
Facultad de Agronomía y Agroindustrias- UNSE

Cuantificador existencial (Ǝ)

Los cuantificadores de la forma existe por lo menos uno, se llaman cuantificadores

existenciales y se representan así: “Ǝ”.

Ejemplo:
Ǝx=1/(2x+3=5) significa que para x =1 se verifica la ecuación.

Nota: esta expresión se lee de la siguiente manera “existe por lo menos uno x =1 se verifica
que 2x + 3 = 5".

Negación de proposiciones cuantificadas

[∀( x) : p( x)] ≡ ∃x / ¬p( x)
[∃( x) / p( x)] ≡ ∀x / ¬p( x)
Observación: la negación se simboliza con ∼ o bien ¬

Dra. L. Chaillou 9