Universidad del Perú, Decana de América

CONECTORES LÓGICOS

CONJUNCIÓN

La unión de dos proposiciones con la palabra “y” se denomina conjunción de las dos
proposiciones.

Se simboliza por: 𝑝 ∧ 𝑞 que significa “𝑝 y 𝑞”

Ejemplo: Tabla de verdad:

“√3 es un número irracional y 3 es un 𝑝 𝑞 𝑝∧𝑞

número racional” V V V
V F F
𝑝 = √3 es un número irracional. F V F
𝑞 = 3 es un número racional. F F F

Simbolización: La conjunción de dos

𝑝∧𝑞 proposiciones sólo es verdadera
si ambas componentes son
verdaderas. En cualquier otro
caso la conjunción es falsa.

Observación: En el lenguaje ordinario existen otras expresiones que pueden traducirse como
conjunciones, tales como:

“pero”, “además”, “sin embargo”, “aunque”, “no obstante”, “a la vez”, “sino”, “más”, “mas”,
“aún cuando”, “empero”, “también”, “igualmente”, “tanto como”, “a pesar de”, “a menos
que”, etc.

Ejemplos:

a) Me gusta el cine pero prefiero el concierto.

b) El cielo está nublado sin embargo hace calor.
c) José fue a pescar aunque no tiene licencia.
d) La lógica puede ayudarnos a aprender una forma de razonar que es exacta, a la vez que muy
útil.
e) El Mirage se aleja por el espacio mas deja tras sí una estela blanca.
f) Rosa tiene 15 años, también María.
g) Daniel es puntual tanto como Rocío.
h) La misa ha empezado, igualmente el matrimonio.
i) Ángel es Contador Público Colegiado además es Catedrático de la UNMSM.
j) Carlos es trujillano no obstante trabaja por Lima.
k) Pepe no es aficionado a la música pero participará en el concurso.
l) 2 es un número primo a pesar de que es par.
m) Un número es positivo a menos que sea mayor que cero.
 Universidad del Perú, Decana de América

Observaciones:

a) En el lenguaje usual, la “y” no siempre se encuentra ubicada entre dos proposiciones. Así
por ejemplo, la proposición: “Carlos y Néstor son profesores” es la forma abreviada de la
proposición “Carlos es profesor y Néstor es profesor”.
Asimismo, la proposición “Jorge es estudioso y trabajador” corresponde a “Jorge es
estudioso y Jorge es trabajador”.
b) Es necesario notar que la “y” no siempre cumple una función conjuntiva. Así, en la
proposición “Pedro y Rosa son hermanos”, la “y” es un elemento relacionador que conecta
dos sujetos. En este caso la proposición es atómica, ya que aquí “y” no es una conjunción,
pues las expresiones “Pedro es hermano” y “Rosa es hermano”, carecen de sentido. La
proposición dada equivale a “Pedro es hermano de Rosa”.
c) En otros casos la “y” no indica una simple unión entre proposiciones sino una consecuencia
entre ellas. Así por ejemplo, en la proposición “Ana fue a nadar y se ahogó”, no significa una
simple unión entre las proposiciones “Ana fue a nadar” y “Ana se ahogó”, sino que en este
caso la “y” significa “a consecuencia”, “a causa de”. Es decir: “Ana fue a nadar, a
consecuencia de ello se ahogó”. Por lo tanto, la proposición dada no es una conjunción.
d) Una “coma” (,), “punto y coma” (;) o “punto seguido” (.) muchas veces hacen de conjunción.
Así por ejemplo, las proposiciones “Hoy es sábado, mañana es domingo” equivale a la
proposición “Hoy es sábado y mañana es domingo”.

Una regla práctica para distinguir una conjunción, es que se puedan separar as proposiciones
y puedan cambiarse de posición sin que se altere su sentido.

DISYUNCIÓN INCLUSIVA

También se le llama disyunción débil.

La unión de dos proposiciones por medio de la palabra “o” se denomina disyunción inclusiva
de las dos proposiciones.

Se simboliza por: 𝑝 ∨ 𝑞 que significa “𝑝 o 𝑞 o ambas”

En los documentos legales se utiliza “y/o” para indicar: “lo uno, lo otro o ambos”.

Ejemplo: Tabla de verdad:

“Hace frío o está lloviendo” 𝑝 𝑞 𝑝∨𝑞

V V V
𝑝 = Hace frío. V F V
𝑞 = está lloviendo. F V V
F F F
Simbolización:
𝑝∨𝑞 La conjunción de dos
proposiciones sólo es verdadera
Esta proposición establece que hace si por lo menos una de las
frío o que está lloviendo o que hace componentes es verdadera. Es
frío y está lloviendo a la vez.
 Universidad del Perú, Decana de América

falsa cuando ambas componentes

son falsas.

Observación:

Así como en el caso de la conjunción, la proposición “Juan es médico o profesor”, es la forma

abreviada de “Juan es médico o Juan es profesor”.

De la misma manera, la proposición “Ana o María aprobarán el curso”, equivale a la proposición

“Ana aprobará el curso o María aprobará el curso”.

DISYUNCIÓN EXCLUSIVA

También se le llama disyunción fuerte.

La unión de dos proposiciones por medio de las palabras “O…o…” “O bien…o bien…”, recibe el
nombre de disyunción exclusiva de las dichas proposiciones.

Es este tipo de disyunción se descarta que se den ambas posibilidades.

Se simboliza por: 𝑝 △ 𝑞 que significa “𝑝 o 𝑞 pero no ambas”

Ejemplo: Tabla de verdad:

“O un número es positivo o negativo” 𝑝 𝑞 𝑝△𝑞

𝑝 = Un número es positivo.
𝑞 = Un número es negativo.
Simbolización:
𝑝△𝑞
Esta proposición indica una alternativa
en la que sólo cabe una posibilidad; si
se elige una, automáticamente la otra
queda eliminada.
V V F
V F V
F V V
F F F
La disyunción exclusiva de dos
proposiciones sólo es verdadera
solamente si una de las
proposiciones es verdadera. En
cualquier otro caso es falsa.
 Universidad del Perú, Decana de América

CONDICIONAL

La unión de dos proposiciones por medio de la palabra “Si…, entonces…” se denomina

condicional de las dos proposiciones.

Se simboliza por: 𝑝 → 𝑞 que significa “Si 𝑝, entonces 𝑞”

Estructura: Si (ANTECEDENTE), entonces (CONSECUENTE)

Ejemplo: Tabla de verdad:

“Si un número es par, entonces es 𝑝 𝑞 𝑝→𝑞

múltiplo de 2” V V V
V F F
𝑝 = Un número es par. F V V
𝑞 = Un número es múltiplo de 2. F F V

Simbolización: La condicional de dos

𝑝→𝑞 proposiciones es falsa sólo si el
ANTECEDENTE es verdadero y el
CONSECUENTE es falso. En todos
los demás casos es verdadera.

Forma abreviada:

Se puede suprimir la palabra “entonces” sin que se altere la condicional (pero nunca la palabra
“si”).

Ejemplo:

“Si un número es par, es múltiplo de 2”

➢ La palabra “cuando” reemplaza al “si”.

Ejemplo:

“Cuando un número es par, entonces es múltiplo de 2”.

Otras formas:

a) En algunos casos, tanto el “si” como el “entonces” se puede sobreentender, como por
ejemplo en la proposición “Estudiar es triunfar” que equivale a “Si estudias, entonces
triunfas”.
b) O pueden ser sustituidos por otros equivalentes, como la proposición “El cuadrado tiene
cuatro lados por lo tanto es un paralelogramo”, que equivale a “Si el cuadrado tiene 4
lados, entonces es un paralelogramo”.

Las expresiones: “por lo tanto”, “luego”, “en consecuencia”, “de modo que”, “en conclusión”,
“de ahí que”, “de manera que”, etc. reemplazan a las palabras “si” y “entonces”.

Estos condicionales son de la forma ANTECEDENTE-CONSECUENTE.

 Universidad del Perú, Decana de América

c) Además el orden lógico no siempre coincide con el orden gramatical, ya que podemos
literalmente poner primero el consecuente y después el antecedente.

Así por ejemplo en la proposición: “Un número es par si es múltiplo de dos”, que equivale
a “Si un número es múltiplo de dos, entonces es par”

Es importante analizar la relación que hay entre las proposiciones que forman una condicional,
para dilucidar cuál es el antecedente y cuál es el consecuente.

Las expresiones: “puesto que”, “ya que”, “porque”, “cada vez que”, “si”, “dado que”, “pues”,
“en vista de que”, etc. son conectivos condicionales de la forma CONSECUENTE-
ANTECEDENTE.

• puesto que
• ya que
• porque
CONSECUENTE ANTECEDENTE
• dado que
• cada vez que
• si

Ejemplos:

a) “Manuel viaja a Lima cada vez que sale de vacaciones”, que equivale a “Si Manuel sale de
vacaciones, entonces viaja a Lima”.
b) “Luis será ingeniero puesto que ingresó a la Universidad”, que equivale a: “Si Luis ingresó a
la Universidad, entonces será ingeniero”

Las condicionales son tan importantes en matemáticas que existen muchas maneras diferentes
de enunciarla.

Así, la condicional: 𝑝 → 𝑞 , se puede enunciar de las siguientes maneras:

• Si 𝑝, entonces 𝑞 • 𝑝 implica 𝑞
• Si 𝑝, 𝑞 • 𝑝 es condición suficiente de 𝑞
• 𝑝, solamente si 𝑞 • 𝑞 es condición necesaria para 𝑝
• 𝑞, si 𝑝 • 𝑞, siempre que 𝑝
• Sólo 𝑝 si 𝑞 • 𝑝 deduce 𝑞
 Universidad del Perú, Decana de América

BICONDICIONAL

La unión de dos proposiciones por medio de las palabras “si y sólo si” se denomina
bicondicional de las dos proposiciones.

Se simboliza por: 𝑝 ↔ 𝑞 que significa “𝑝 si y sólo si 𝑞”

Ejemplo: Tabla de verdad:

“Un triángulo es equilátero si y sólo si 𝑝 𝑞 𝑝↔𝑞

es equiángulo” V V V
V F F
F V F
𝑝 = Un triángulo es equilátero. F F V
𝑞 = Un triángulo es equiángulo.
Una proposición bicondicional es
Simbolización: verdadera solamente cuando las
𝑝↔𝑞 dos componentes tienen el
mismo valor de verdad. En
cualquier otro caso es falsa.

Observaciones:

La proposición bicondicional:

“Manuel construirá su casa si y sólo si obtiene un préstamo” se entiende como:

“Si Manuel construirá su casa, entonces obtiene un préstamo” y “Si Manuel obtiene un
préstamo, entonces construirá su casa”

Es decir:

𝑝 ↔ 𝑞 es equivalente a (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)

Otras expresiones que indican el bicondicional son: “cuando y sólo cuando”, “si y solamente
si”, “es condición necesaria y suficiente”, etc.

Ejemplo:

“Un número es primo cuando y sólo cuando es divisible por sí mismo y por la unidad”
 Universidad del Perú, Decana de América

NEGACIÓN

Cuando a una proposición se le añade la palabra “no”, el resultado se denomina negación de la

proposición.

La negación actúa sobre la proposición, su función consiste en negar una afirmación y en

afirmar una negación.

Se simboliza por: ∼ 𝑝 que significa “no 𝑝”

Ejemplo: Tabla de verdad:

“Cinco no es menor que tres” 𝑝 ∼𝑝

V V
F V
𝑝 = Cinco es menor que tres.
La negación de una proposición
Simbolización: verdadera es falsa y la negación
∼𝑝 de una proposición falsa es
verdadera.

Observaciones:

La negación puede también afectar a una proposición molecular, en este caso utilizaremos los
términos:

“no es cierto que”,” no es el caso que”, ”es falso que”, “es imposible que”, etc. delante de dicha
proposición.

Ejemplo:

La negación de la proposición: “Un número es positivo y negativo”, es:

“No es cierto que un número es positivo y negativo”

Aquí, la negación no afecta a las proposiciones atómicas sino a toda la proposición molecular,
es decir, a la conjunción.
 Universidad del Perú, Decana de América

NEGACIÓN ALTERNA

Llamada incompatibilidad o función de Sheffer.

Negación alterna de las proposiciones p y q, es la proposición que resulta de unir dos

proposiciones por medio de las palabras “no o no”

Se simboliza por: 𝑝 ↑ 𝑞 que significa “no 𝑝 o no 𝑞”.

Ejemplo: Tabla de verdad:

“Juan no nació en Lima o Pedro no 𝑝 𝑞 𝑝↑𝑞

nació en Ica” V V F
V F V
𝑝 = Juan nació en Lima. F V V
𝑞 = Pedro Nació en Ica. F F V

Simbolización: La negación alterna de dos

𝑝↑𝑞 proposiciones es verdadera si por
lo menos una de las dos
componentes es falsa. Y es falsa
cuando las dos proposiciones son
verdaderas.

Nota: La negación alterna:

𝑝 ↑ 𝑞 equivale a ∼ 𝑝 ∨ ∼ 𝑞

NEGACIÓN CONJUNTA

Llamada incompatibilidad o función de Nicod (profundizó los estudios de Sheffer).

La unión de dos proposiciones por medio de las palabras “ni ni” se denomina negación
conjunta de las proposiciones.

Se simboliza por: 𝑝 ↓ 𝑞 que significa “ni 𝑝 ni 𝑞”.

Ejemplo: Tabla de verdad:

“Ni 5 es número par ni 6 es número 𝑝 𝑞 𝑝↓𝑞

primo” V V F
V F F
𝑝 = 5 es número par. F V F
𝑞 = 6 es número primo. F F V

Simbolización: La negación conjunta de dos

𝑝↓𝑞 proposiciones es verdadera si sus
dos componentes son falsas. En
todos los demás casos es falsa.
 Universidad del Perú, Decana de América

Nota: La negación conjunta:

𝑝 ↓ 𝑞 equivale a ∼ 𝑝 ∧ ∼ 𝑞

Observación:

En lo sucesivo obviaremos en lo posible los signos de Sheffer, de modo que puede

interpretarse:

“↓” como la conjunción con sus componentes negados.

“↑” como la disyunción con sus componentes negados.

PRÁCTICA DIRIGIDA 1

1) Evaluar los siguientes esquemas moleculares, mediante tablas de verdad:

a) [(𝑝 →∼ 𝑞) ∧ (𝑟 ↔∼ 𝑝)] △ (∼ 𝑟 → 𝑞)
b) {(𝑝 △ ∼ 𝑞) ∧∼ [𝑟 ∨ ∼ (𝑞 ∧ 𝑝)] } → [𝑞 → (𝑟 ∨ 𝑝)]
c) [(∼ 𝑝 ∧ 𝑞) →∼ 𝑟] ↔ [𝑟 ∧ ∼ (𝑝 ∨ ∼ 𝑞)]

Formalización de proposiciones y tablas de verdad

2) Simbolizar las siguientes proposiciones reemplazando las palabras que corresponden a
los términos de enlace por sus correspondientes símbolos:
a) 𝑝 o 𝑞
b) 𝑞 si 𝑝
c) 𝑝 no obstante 𝑞
d) no 𝑝 sin embargo 𝑞
e) Es falso que 𝑝 luego 𝑞
f) O si 𝑝, entonces 𝑞, o no 𝑟

3) Escribir el nombre de los siguientes esquemas y traducir reemplazando los conectivos

por sus palabras correspondientes.
a) ∼ 𝑝 △ 𝑞
b) ∼ (𝑝 ∨ ∼ 𝑞)
c) ∼ 𝑝 → ∽ 𝑞
d) ∼ (𝑞 → 𝑝)
e) ∼ 𝑝 → (𝑞 ∧ 𝑟)
f) 𝑝 →∼ (𝑞 ∧ 𝑟)

4) Consideremos las siguientes variables proposicionales:

𝑝 = Hoy es lunes.
𝑞 = Hay clases.
𝑟 = Rendiré examen.

I. Escribir cada una de las proposiciones siguientes en forma simbólica:

a) Hoy es lunes pero no hay clases.
b) Si hoy es lunes y hay clases, entonces rendiré examen.
c) Rendiré examen puesto que hay clases.
d) No es cierto que hoy no es lunes o no hay clases.
 Universidad del Perú, Decana de América

II. Traducir los siguientes enunciados simbólicos:

a) ∼ 𝑟 ↔ ∽ 𝑞
b) ∼ (𝑝 ∧ 𝑞) → ∽ 𝑟
c) ~[𝑟 → (𝑝 ∧ 𝑞)]

5) Utilizando las variables:

𝑝 = UNMSM gana el campeonato.
𝑞 = Universitario queda en segundo lugar.
𝑟 = Alianza gana todos los partidos restantes.

Simbolizar las siguientes proposiciones:

a) Si UNMSM gana el campeonato, entonces Universitario queda en segundo lugar
y Alianza no gana todos los partidos restantes.
b) Alianza gana todos los partidos restantes pues UNMSM gana el campeonato o
Universitario queda en segundo lugar.
c) O bien, si UNMSM gana el campeonato, entonces Universitario queda en segundo
lugar, o bien Alianza gana todos los partidos restantes si Universitario no queda
en segundo lugar.
6) Sean:
𝑝 = Hace frío.
𝑞 = Está lloviendo.
𝑟 = Enrique está enfermo.
Traducir los siguientes enunciados simbólicos:
a) ∼ 𝑝 → ∽ 𝑞
b) ∼ (𝑝 → ∼ 𝑞)
c) 𝑝 △ (𝑞 ∧ 𝑟)
d) 𝑝 ↓ 𝑞
e) ~(𝑝 ∨ 𝑞) → ∼ 𝑟
f) ∼ 𝑟 ↔ (∼ 𝑝 ∧ ∽ 𝑞)

7) Si es después de las ocho, entonces la puerta está cerrada y el profesor no me dejará

entrar.
8) Raúl trabaja en el Ministerio, además es un líder estudiantil si estudia en la
Universidad.
9) Si no es el caso que Pedro sea un comerciante o un próspero industrial, entonces es
director de una Compañía de Teatro.
10) Es imposible que Carlos aprobó los exámenes de admisión pero no ingresó a la UNMSM.
11) Si ingreso a la UNMSM y uso el cabello largo, entonces me lo cortaré o no ingreso a la
UNMSM.
12) Mañana viene Juan; luego, si no viene, viaja a Lima si consigue pasaje.
13) Si estudias, colmarás tus aspiraciones. Si no lo haces, el fracaso te acompañará.
14) Si has escogido bien tu carrera, te esforzarás y triunfarás. Si no triunfas, no has escogido
bien tu carrera o no te has esforzado.
15) Estoy equivocado, y la quinta pregunta es falsa o la sexta también.
16) Eres sincero o no lo eres. Si eres sincero, podrás superarte; y si no lo eres, no tendrás
buenos amigos.
 Universidad del Perú, Decana de América

17) Como Miguel gana mucho dinero, no saldrá de vacaciones de su trabajo no viajará al
extranjero.
18) Ni Juan ni Pedro son puntuales; y si en la empresa hay más control, Juan no es
responsable.
19) Si 3 es un número primo y no es par, entonces 6 es múltiplo de 3 ó es un cuadrado
perfecto.
20) 5 ≠ 8 y si 2 + 3 = 8, entonces 2 < 3 ó 3 ≯ 8 .
21) Un número es divisible por dos pero no es un número primo, si un número no es una
fracción positiva o es mayor que cero.
22) José será encontrado culpable si hoy rinde testimonio, puesto que si hoy rinde
testimonio dirá la verdad y José no será encontrado culpable si no dice la verdad.
23) La sociedad está descontenta si y sólo si no hay cambio social, pero si la sociedad está
contenta, o hay revolución o hay cambio social.
24) Es falso que si Cristina no estudiaba abogacía no podría contraer matrimonio, dado que
Cristina es experta en política financiera.
25) O estoy equivocado o no es cierto que he aprobado el examen de matemática y también
el de lenguaje.
26) Las leyes de la mecánica son exactas si Newton dice la verdad, si y sólo si el movimiento
no es relativo.