1

TEMA 1 LOGICA SIMBOLICA o PROPOSICIONAL

DEFINICIÓN. –

PROPOSICIÓN. - La proposición es una oración o un enunciado declarativo del cual se

puede decir si es VERDADERO o FALSO, pero no ambos a la vez. La veracidad o falsedad
de una proposición se llama valor de verdad.
“Las proposiciones son los elementos básicos a partir de los cuales se construyen los
razonamientos, y por eso son muy utilizadas en el ámbito de la ciencia y estudio del
conocimiento”
Las proposiciones se las simboliza con letras minúsculas: p, q, r, s……..
Ejemplos: Analizar los siguientes enunciados, indicando cuales son proposiciones y cuáles
no. En los enunciados que son proposiciones, hallar el valor de verdad.
a) El calor dilata los metales.
b) 2+4=8
c) 𝑥+5=7
d) El año 1974 fue un año bisiesto.
e) ¿Qué hora es?
f) Este enunciado es falso
g) El 4 es un número primo.
h) Las plantas absorben el dióxido de carbono
i) Las matemáticas son divertidas.
j) Los maestros ganan un buen sueldo.
k) ¡Feliz cumpleaños!
l) Es de noche
m) La suma de dos números pares es par
Tipo de proposiciones. - Las proposiciones pueden ser: Simple (atómicas) o compuestas
(moleculares).
Las proposiciones simples están formadas por una sola proposición y las compuestas por
dos o más proposiciones simples, unidas mediante operadores o conectivos lógicos.
Los conectivos lógicos permiten la construcción de enunciados complejos.
 2

TABLA DE CONECTIVOS

CONECTIVO NOMBRE SIGNIFICADO

~(¬) Negación No, No es cierto, es falso, etc.
∧ Conjunción “Y”, además, sin embargo
∨ Disyunción incluyente “o”,
⟹ Condicional o implicación Si entonces;
⟺ Bicondicional o D. I. Si y solo si; únicamente
∨ Diferencia simétrica “o …..o”
↓ Negación conjunta ni……ni

TABLA DE VERDAD. – La tabla de verdad es un procedimiento grafico que permite

determinar el valor de verdad de una proposición compuesta, a partir de la combinación
de los valores de verdad de las proposiciones simples. Es un cuadro de filas y columnas.
El número de filas de la tabla se calcula con la fórmula : 2𝑛 , donde “n” es el número de
proposiciones.
TABLA DE VERDAD DE LA NEGACION (¬ )

p ¬𝑝
1 0
0 1

Verificando con la fórmula: 2𝑛 ⇒ 21 = 2 , como hay una proposición, hay dos filas.
El conectivo ¬ : simboliza la negación de cualquier argumento.
Significado del conectivo: “no”; “no es cierto”,” es falso”; “no es posible”……………
Ej 1.- p: “el plomo es radioactivo”
Negación: ¬𝑝 : No es cierto que el plomo es radioactivo.
No es verdad que el plomo es radioactivo.
El plomo no es radioactivo.
La doble negación: ¬(¬𝑝) es p
No es cierto que no juego = juego
Ej 2.- q: Juan es alto
Negación: ¬𝑞 : No es cierto que Juan sea alto.
Juan no es alto.
Juan es bajo.

Ej 3.- r: El hombre es inmortal

 3

Negación: ¬𝑟 : No es cierto que el hombre es inmortal

El hombre no es inmortal.
El hombre es mortal
Ej 4.- t: “ 2+ 2 = 4” ( dos más dos es igual a cuatro)
¬𝑡 ∶ 2 + 2 ≠ 4 (𝑑𝑜𝑠 𝑚𝑎𝑠 𝑑𝑜𝑠 𝑛𝑜 𝑒𝑠 𝑖𝑔𝑢𝑎𝑙 𝑎 𝑐𝑢𝑎𝑡𝑟𝑜)
(Dos más dos es distinto de cuatro)
Negaciones comunes:
Cuando se presentan enunciados con términos como: Todos, algunos
Todos……. La negación: Algunos…….no ( ⟺)
Algunos…… La negación: Ningún…….. (⇔)
Ej 1.- p: Todos los alumnos estudian
¬𝑝 : Algunos alumnos no estudian
Ej 2.- q: Ningún alumno aprobó la materia.
¬𝑞: Algunos alumnos aprobaron la materia.
Ej 3.- p: Todo hombre es honesto
Como tarea de clase, escribir distintas negaciones de “p”
Como tarea, dar ejemplos con las negaciones comunes.
TABLA DE VERDAD DE LA CONJUNCION (PRODUCTO LOGICO) (∧)
Dadas dos proposiciones p y q , se llama conjunción de las proposiciones dadas, a la
proposición compuesta que se obtiene uniendo ambas proposiciones con el conectivo
“∧”
Notación: 𝑝 ∧ 𝑞 𝑠𝑒 𝑙𝑒𝑒 "𝑝 𝑦 𝑞" [𝑝 𝑒𝑠 𝑒𝑙 𝑎𝑛𝑡𝑒𝑐𝑒𝑑𝑒𝑛𝑡𝑒 𝑦 𝑞 𝑒𝑠 𝑒𝑙 𝑐𝑜𝑛𝑠𝑒𝑐𝑢𝑒𝑛𝑡𝑒)]
Las palabras:” pero; aunque; no obstante “, también sirven para construir conjunciones.

p q p∧𝑞
1 1 1
1 0 0
0 1 0
0 0 0
NOTA: El único caso en el que la conjunción es V, cuando los dos valores de verdad son
verdaderos, lo demás es falso.
Ej 1.- p: “Está lloviendo” ; q: “ Hace frio”
La conjunción: 𝑝 ∧ 𝑞 ∶ Se lee “Está lloviendo y hace frio”
Ej 2.- r: “Hace calor”; p: “Está lloviendo”
 4

𝑟 ∧ 𝑝: “Hace calor y está lloviendo”

“Hace calor, pero está lloviendo”
“Hace calor sin embargo está lloviendo”

Los símbolos de separación: ( ); [ ]; { }; muy utilizados en lógica, tiene la función de

encerrar proposiciones compuestas, considerándolos como una proposición simple, del
cual se debe hallar su valor de verdad.
Ej.- Gabriel García Márquez escribió La Hojarasca y Cien años de soledad y es un buen
Escritor.
Representar en forma simbólica el anterior enunciado.
Primero identificamos las proposiciones.
p: Gabriel García Márquez escribió La Hojarasca.
q : Gabriel García Márquez escribió Cien años de Soledad.
r : Gabriel García Márquez es un buen escritor.
Simbólicamente: (𝑝 ∧ 𝑞) ∧ 𝑟
IMPORTANTE: Cuando la negación esta fuera de un símbolo de separación, significa que
está negando lo que está adentro, en estos casos se emplean expresiones como: “No es
cierto que…”; “No es verdad que……”
ACTIVIDAD DE CLASE: Ej.1.- Representar en forma simbólica los siguientes enunciados.
a) No es cierto que, Jorge Luis Borges escribió la Ilíada y que es un Filósofo.
b) No es cierto que, Mario Vargas Llosa no recibió el premio nobel de literatura.
c) La verdad no existe y dios no existe y yo soy escéptico.
d) No es cierto que, la verdad y dios existen.
Ej.2.- Sea: p: María estaba enferma, q: Camila la reemplazo en el trabajo
Traducir al lenguaje ordinario la siguiente forma simbólica: ¬(¬𝑝 ∧ ¬𝑞)
TABLA DE VERDAD DE LA DISYUNCION (INCLUSIVA) (∨)

p q p∨𝑞
1 1 1
1 0 1
0 1 1
0 0 0
Como se ve en la tabla, es suficiente que haya un valor de verdad verdadero para que la
disyunción se verdadera.
Ej 1.- p: “María canta” ; q : “ María baila”
𝑝 ∨ 𝑞: "𝑀𝑎𝑟𝑖𝑎 𝑐𝑎𝑛𝑡𝑎 𝑜 𝑏𝑎𝑖𝑙𝑎"
 5

Puede pasar que: María cante y no baile o que baile y no cante o puede que cante y
baile. Por eso se llama disyunción incluyente.
Ej 2.- r : Luis practica natación: t : Luis practica futbol.
𝑟 ∨ 𝑡: "𝐿𝑢𝑖𝑠 𝑝𝑟𝑎𝑡𝑖𝑐𝑎 𝑛𝑎𝑡𝑎𝑐𝑖𝑜𝑛 𝑜 𝑝𝑟𝑎𝑐𝑡𝑖𝑐𝑎 𝑓𝑢𝑡𝑏𝑜𝑙"
TABLA DE VERDAD DEL CONDICIONAL O IMPLICACION (⟹)

p q p⟹ 𝑞
1 1 1
1 0 0
0 1 1
0 0 1
Como se ve en la tabla, el único caso que el condicional (implicación) es falso, es cuando
el antecedente o hipótesis (p) es verdadero y el consecuente o conclusión (q) es falso,
todos los demás son verdaderos.

OTROS SIGNIFICADOS DE LA IMPLICACION

𝑝 ⟹ 𝑞 : Si p; entonces q
q; si p
p es suficiente para q
q es necesario para p
q cuando p
q siempre que p
Ej.- p : Luis estudia para el examen.
q : Luis aprueba el examen.
Dada la implicación: 𝑝 ⟹ 𝑞
Escribir los con los 4 primeros significados de la implicación, para las proposiciones
dadas.
1) Si Luis estudia para el examen, entonces lo aprueba
2) Luis aprueba el examen, si estudia
3) Que Luis estudie es suficiente, para que apruebe el examen
4) Para que Luis apruebe el examen, es necesario que estudie.
Ejercicios: Hallar el valor de verdad de verdad (si existe) de cada una de las siguientes
proposiciones:
1.- “ 2 = 2 , entonces 3 = 2”
2.- “1 = 2, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 2 ≠ 3"
3.- “ 1 = 1 o 2 = 3, entonces 3 = 3”
ACTIVIDAD DE CLASE
 6

Ej1.- p: El hierro es un metal

q: El hierro es un buen conductor de la electricidad.
Dada la implicación: 𝑝 ⟹ 𝑞
Escribir con los 4 primeros significados de la implicación, para las proposiciones dadas.
Ej.2.-Representar en forma simbólica los siguientes enunciados:
a) “ 8 es par; si 2 es divisor de 8”
b) “Para ser boliviano, es suficiente ser tarijeño”

TABLA DE VERDAD DEL BICONDICIONAL (⟺)

p q p⟺ 𝑞
1 1 1
1 0 0
0 1 0
0 0 1

Como se ve en la tabla, el bicondicional (doble implicación) es verdadero, cuando

ambos valores de verdad son iguales, si son distintos, el bicondicional es falso.

𝑝 ⟺ 𝑞 : p si y solo si q (p sii q)
q si y solo si p (q sii p)
Si p , entonces q ∧ si q, entonces p
P es condición necesaria y suficiente para q
q es condición necesaria y suficiente para p
Ej1.- p: Dos rectas son paralelas.
q: dos rectas tienen igual pendiente.
𝑝 ⟺ 𝑞: Dos rectas son paralelas sii tiene igual pendiente
𝑞 ⟺ 𝑝 : Dos rectas tienen igual pendiente sii son paralelas.
Ej2 .- p : Un triángulo es rectángulo
q : Un triángulo tiene un ángulo de 90º

𝑝 ⟺ 𝑞: Un triángulo es rectángulo sii tiene un ángulo de 90°

Un triángulo que tiene un ángulo de 90° sii es rectángulo.
La condición necesaria y suficiente para que un triángulo sea rectángulo
Es que tenga un ángulo de 90° .
Ej 3.- r: “Hace frio” ; t: “ Esta húmedo el ambiente”
 7

Traducir al lenguaje ordinario: 𝒓 ⟺ 𝒕

Ejercicios para la clase : Hallar el valor de verdad de verdad (si existe) de cada una de las
siguientes proposiciones

"Si 1 = 3 y 2 = 2 entonces 1 = 1."

"Si todo lo que te digo es falso, entonces todo lo que digo es verdadero."
"Si todo lo que te digo es falso, entonces 1 = 2."
"Una condición suficiente para que 1 sea igual a 2 es que 1 = 3."
“Para que el sol salga en el este, es necesario que se ponga en el oeste."
Construir las tablas de verdad de las siguientes proposiciones compuestas.
a) (𝑝 ∧ 𝑞) ⟹ 𝑝 b) (𝑝 ∨ 𝑞) ∧ (∼ 𝑝 ∨ 𝑞)

p q ( 𝑝 ∧ 𝑞) ⟹ 𝑝
1 1 1 1 1 1 1
1 0 1 0 0 1 1
0 1 0 0 1 1 0
0 0 0 0 0 1 0
Pasos: 1° 3° 2°

Entre el paso 1° y el 2° , sale el paso 3° que es el valor de verdad de la proposición

p q ( 𝑝 ∨ 𝑞 ) ∧ (∼𝑝 ∨ 𝑞 )
1 1 1 1 0 1 1
1 0 0 0 0 0 0
0 1 0 0 1 1 1
0 0 0 0 1 1 0
Pasos 1° 5° 2° 4° 3°

Entre el paso 2° y 3° , tenemos el 4° valor de verdad del segundo paréntesis.

Entre el paso 1° y 4° tenemos 5° valor de verdad de la proposición.

TABLA DE VERDAD DE LA DIFERENCIA SIMETRICA (DISYUNCION EXCLUYENTE) (⋁)

p q p ⋁𝑞
1 1 0
1 0 1
0 1 1
0 0 0
En la diferencia simétrica, si los valores de verdad son distintos, la diferencia simétrica
es verdadera.
Ej.- p : Viajo en tren ; q : viajo en auto
 8

𝑝⋁𝑞: 𝑜 𝑣𝑖𝑎𝑗𝑜 𝑒𝑛 𝑡𝑟𝑒𝑛 𝑜 𝑣𝑖𝑎𝑗𝑜 𝑒𝑛 𝑎𝑢𝑡𝑜

Ej.- r: Apruebo el examen; t: Desapruebo el examen.
𝑟⋁𝑡: 𝑜 𝑎𝑝𝑟𝑢𝑒𝑏𝑜 𝑒𝑙 𝑒𝑥𝑎𝑚𝑒𝑛 𝑜 𝑑𝑒𝑠𝑎𝑝𝑟𝑢𝑒𝑏𝑜 𝑒𝑙 𝑒𝑥𝑎𝑚𝑒𝑛.
La diferencia simétrica, llamada también disyunción excluyente, puede darse cualquiera
de los dos, pero no ambos.
TABLA DE VERDAD DE LA NEGACION CONJUNTA (⇓)

p q p⇓ 𝑞
1 1 0
1 0 0
0 1 0
0 0 1

Si los dos valores de verdad son falsos, la diferencia simétrica es verdadera.

Ej.- p: Canto; q: Bailo
𝑝 ⇓ 𝑞: 𝑛𝑖 𝑐𝑎𝑛𝑡𝑜 𝑛𝑖 𝑏𝑎𝑖𝑙𝑜
Ej.- r: Estudio para el examen; t: Apruebo el examen
𝑟 ⇓ 𝑡: 𝑛𝑖 𝑒𝑠𝑡𝑢𝑑𝑖𝑜 𝑝𝑎𝑟𝑎 𝑒𝑙 𝑒𝑥𝑎𝑚𝑒𝑛 𝑛𝑖 𝑎𝑝𝑟𝑢𝑒𝑏𝑜 𝑒𝑙 𝑒𝑥𝑎𝑚𝑒𝑛.
FUNCION PROPOSICIONAL. - Una función proposicional consta de una variable: p(x) o
más variables p(x,y). No es una proposición, si no conocemos el valor de la o las variables.
Ej.- p(x) : 𝑥 + 5 = 8
Si 𝑥 = 3 ⟹ 3 + 5 = 8
8=8 𝑉
Si 𝑥 = 1 ⟹ 1 + 5 = 8
6=8 𝐹
FORMULA PROPOSICIONAL. – Es la proposición compuesta, que consta de varias
proposiciones simple relacionadas con varios conectivos.
Ejemplos:
a) [(𝑝 ∨ 𝑞) ∧ (¬𝑟)] ∧ 𝑟 b) {𝑝 ∧ [(¬𝑝 ∨ 𝑞) ∧ 𝑝]} ∨ 𝑡 c) [(𝑝 ⟹ 𝑞) ∧ 𝑟] ⟹ ¬𝑝
CLASIFICACION DE LAS FORMULAS PROPOSICIONALES.
Las fórmulas se clasifican: TAUTOLOGÍA, ANTITAUTOLOGIA Y CONTINGENCIA
TAUTOLOGIA: Todos los valores de verdad son verdaderos.
ANTITAUTOLOGIA: Todos los valores de verdad son falsos.
CONTINGENCIA: Los valores de verdad son verdaderos y falsos.
Dada un formula, si no conocemos el valor de verdad de la proposición, el valor de
verdad de la misma se lo hace mediante la tabla de verdad. Si conocemos el valor de
 9

verdad de las proposiciones, de forma directa se determina el valor de verdad de la

formula
Ej.- Clasificar las siguientes formulas:
a) (𝑝 ∧ ¬𝑞) ∨ (¬𝑝 ∧ 𝑞)
p q (𝑝 ∧ ¬𝑞) ∨ ( ¬𝑝 ∧ 𝑞 )

1 1 1 0 0 0 0 0 1
1 0 1 1 1 1 0 0 0
0 1 0 0 0 1 1 1 1
0 0 0 0 1 0 1 0 0

La última operación es la disyunción. Como se ve es una contingencia.

b) [(𝑝 ⟹ 𝑞) ∧ 𝑝] ∧ ¬𝑞
p q [ ( 𝑝 ⟹ 𝑞 ) ∧ 𝑝 ] ∧ ¬𝑞

1 1 1 1 1 1 1 0 0
1 0 1 0 0 0 1 0 1
0 1 0 1 1 0 0 0 0
0 0 0 1 0 0 0 0 1

La última operación es la conjunción. Como se ve es una anti tautología.

c) [(𝑝 ⟹ 𝑞) ∧ 𝑝] ⟹ 𝑞

p q [ ( 𝑝 ⟹ 𝑞 ) ∧ 𝑝 ] ⟹ 𝑞

1 1 1 1 1 1 1 1 1
1 0 1 0 0 0 1 1 0
0 1 0 1 1 0 0 1 1
0 0 0 1 0 0 0 1 0

La última operación es la implicación. Como se ve es una tautología.

Ej.- Hallar el valor de verdad de la formula, para los siguientes valores de verdad de las
proposiciones.
p (V) ; q ( F) ; r(V) ; s(F)
{[( 𝑝 ∧ 𝑞 ) ∨ 𝑠 ] ∨ 𝑟 } ⟹ ( 𝑝 ∧ ¬𝑞 )
 10

V F F V V
F
F V V
V
V
El valor de verdad de la fórmula es VERDADERO (TAUTOLOGIA)
ACTIVIDAD DE CLASE:1.- Construir las tablas de verdad de las siguientes formulas:
a) [(𝑝 ⟹ 𝑞) ∧ ¬𝑞] ⟹ ¬𝑝 b) [(𝑝 ∧ 𝑞) ⟹ 𝑟] ⟺ [𝑝 ⟹ (𝑞 ⟹ 𝑟)]
2.- Hallar el valor de verdad de las formulas par valores de verdad dados.
a) {(𝑝 ⟹ ¬𝑞) ∧ (𝑟 ∨ 𝑡)} ∧ (𝑝 ∧ 𝑞) para: p (V) ; q (F); r (F) , t(V)
b) [(¬𝑝 ∨ 𝑟) ∧ ¬𝑞] ∧ [¬𝑝 ⟺ (𝑠⋁𝑡)] para : p (F) ; q(V) ; r(F); t(V)
LEYES LOGICAS O FORMULAS LOGICAMENTE EQUIVALENTES
Se dice que dos fórmulas proposicionales: 𝛼 ∧ 𝛽 son lógicamente equivalentes, lo
simbolizamos: 𝛼 ⟺ 𝛽, si el bicondicional es verdadero (Tautología)

LEYES LOGICAS. –
1.- ASOCIATIVA: 𝑝 ∨ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∨ 𝑞) ∨ 𝑟 IDEM (∧)
2.- CONMUTATIVA: (𝑝 ∧ 𝑞) ≪⟺ (𝑞 ∧ 𝑝) IDEM (∨)
3.- DISTRIBUTIVA: 𝑝 ∧ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
: 𝑝 ∨ (𝑞 ∧ 𝑟) ⟺ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
4.- ELEMENTO NEUTRO: (𝑝 ∧ 𝑉) ⟺ 𝑝
: (𝑝 ∨ 𝐹) ⟺ 𝑝
5.- CONDICION DE NEGACION: (𝑝 ∨ ¬𝑝) ⟺ 𝑉
: (𝑝 ∧ ¬𝑝) ⟺ 𝐹
6.- DEFINICION DE IMPLICACION: (𝑝 ⟹ 𝑞) ⟺ (¬𝑝 ∨ 𝑞)
7.- DEFINICION DE BICONDICIONAL: (𝑝 ⟺ 𝑞) ⟺ (𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑝)
8.- IDEMPOTENCIA: (𝑝 ∧ 𝑝) ⟺ 𝑝
: (𝑝 ∨ 𝑝) ⟺ 𝑝
9.- CONDICION DE TAUTOLOGIA: (𝑝 ∨ 𝑉) ⟺ 𝑉
10.- CONDICION DE ANTITAUTOLOGIA: (𝑝 ∧ 𝐹) ⟺ 𝐹
 11

11.- ABSORCION: 𝑝 ∧ (𝑝 ∨ 𝑞) ⟺ 𝑝
: 𝑝 ∨ (𝑝 ∧ 𝑞) ⟺ 𝑝
12.- MORGAN: : ¬(𝑝 ∧ 𝑞) ⟺ ¬𝑝 ∨ ¬𝑞
: ¬(𝑝 ∨ 𝑞) ⟺ ¬𝑝 ∧ ¬𝑞
13.- DOBLE NEGACION: ¬(¬𝑝) ⟺ 𝑝
EJERCICIOS: Simplificar las siguientes formulas:
a)¬(𝑝 ∨ 𝑞) ∨ (¬𝑝 ∧ 𝑞)
¬(𝑝 ∨ 𝑞) ∨ (¬𝑝 ∧ 𝑞) ⟺ (¬𝑝 ∧ ¬𝑞) ∨ (¬𝑝 ∧ 𝑞) Ley de Morgan
⟺ ¬𝑝 ∧ (¬𝑞 ∨ 𝑞) Ley Distributiva
⟺ ¬𝑝 ∧ 𝑉 Condición de negación
⟺ ¬𝑝 Elemento neutro.
b) (¬𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑞) Para la clase

EJERCICIOS: Mediante las leyes lógicas, simplificar las siguientes formulas:

A partir del inciso b) , lo que aparece abreviado son las leyes lógicas ( por ej. L.D es la ley
distributiva)
a)¬(𝑝 ∨ 𝑞) ∨ (¬𝑝 ∧ 𝑞)
¬(𝑝 ∨ 𝑞) ∨ (¬𝑝 ∧ 𝑞) ⟺ (¬𝑝 ∧ ¬𝑞) ∨ (¬𝑝 ∧ 𝑞) Ley de Morgan
⟺ ¬𝑝 ∧ (¬𝑞 ∨ 𝑞) Ley Distributiva
⟺ ¬𝑝 ∧ 𝑉 Condición de negación
⟺ ¬𝑝 Elemento neutro.
𝑏)(¬𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑞) Para la clase
(¬𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑞) ⇔ (¬𝑝 ∧ 𝑝) ∨ 𝑞 L.D.
⟺ (𝐹) ∨ 𝑞 C.N.
⟺𝑞 𝐸. 𝑁
c) [(𝑝 ∨ ¬𝑞) ∧ 𝑞] ⟹ 𝑝 (para resolver en la clase) SOLUCION : V
d)[(¬𝑝 ∧ 𝑞) ⟹ (𝑟 ∧ ¬𝑟)] ∧ ¬𝑞 (para resolver en la clase) SOLUCION: ¬𝑞
e) (𝑝 ∧ 𝑞) ∨ [¬(¬𝑝 ∨ 𝑞)](para resolver en la clase) SOLUCION: p
f) 𝑞 ∨ ¬[¬(𝑝 ∧ 𝑞) ⟹ ¬𝑞]
𝑞 ∨ ¬[¬(𝑝 ∧ 𝑞) ⟹ ¬𝑞] ⟺ 𝑞 ∨ ¬[(𝑝 ∧ 𝑞) ∨ ¬𝑞] D.I
⟺ 𝑞 ∨ [(¬𝑝 ∨ ¬𝑞) ∧ 𝑞] L.M.
 12

⟺ 𝑞 ∨ [(¬𝑝 ∧ 𝑞) ∨ (¬𝑞 ∧ 𝑞)] L.M.

⟺ 𝑞 ∨ [(¬𝑝 ∧ 𝑞) ∨ (𝐹)] C.N.
⟺ 𝑞 ∨ [(¬𝑝 ∧ 𝑞)] E.N.
⟺ 𝑞 𝐿. 𝐴.
g) [(𝑝 ∨ 𝑞) ∧ (𝑝 ⟹ 𝑞)] ∨ [(𝑝 ∨ ¬𝑞) ⟹ ¬(¬𝑝 ∧ 𝑞)]
⟺ [(𝑝 ∨ 𝑞) ∧ (¬𝑝 ∨ 𝑞)] ∨ [¬(𝑝 ∨ ¬𝑞) ∨ (𝑝 ∨ ¬𝑞)] D.I.∧ 𝐿. 𝑀.
⟺ [(𝑝 ∧ ¬𝑝) ∨ 𝑞] ∨ [(¬𝑝 ∧ 𝑞) ∨ (𝑝 ∨ ¬𝑞)] L.D. ∧ 𝐿. 𝑀
⟺ [(𝐹) ∨ 𝑞] ∨ [(¬𝑝 ∧ 𝑞) ∨ (𝑝 ∨ ¬𝑞)]𝐶. 𝑁.
⟺ [𝑞] ∨ [(¬𝑝 ∧ 𝑞) ∨ (𝑝 ∨ ¬𝑞)]E.N.
⟺ [𝑞 ∨ ¬𝑞] ∨ [(¬𝑝 ∧ 𝑞) ∨ 𝑝]L.C.
⟺ [𝑉 ] ∨ [(¬𝑝 ∧ 𝑞) ∨ 𝑝] C.N. ⟺ 𝑉 𝐶. 𝑇.
h) (𝑟 ∨ 𝑞) ∨ {[(𝑝 ∧ 𝑞) ∨ 𝑟] ∨ (𝑟 ∨ ¬𝑞)} SOLUCION: V
IMPLICACIONES ASOCIADAS
Dado el condicional 𝑝 ⟹ 𝑞, que se llama condicional directo, relacionado con él , se
presentan otros tres condicionales:
a) Reciproco : 𝑞 ⟹ 𝑝
b) Contrario : ¬𝑝 ⟹ ¬𝑞
c) Contrarecíproco : ¬𝑞 ⟹ ¬𝑝
Se puede verificar que: (𝑝 ⟹ 𝑞) ⟺ (¬𝑞 ⟹ ¬𝑝)
(𝑞 ⟹ 𝑝) ⟺ (¬𝑝 ⟹ ¬𝑞)
Ej1.- p: estudio mucho para mi examen
q : Aprobaré mi examen
Sí la implicación directa es 𝑝 ⟹ 𝑞
En forma simbólica y luego escribir en forma literal las otras tres implicaciones
Ej.2.- Si 𝑝 ∶ "x=2" ∧ 𝑞: "𝑥 2 = 4"
Sí la implicación directa es 𝑝 ⟹ 𝑞
Escribir en forma simbólica las otras tres implicaciones y hallar el valor de verdad de
cada una.
Ej. 3.- Sí la implicación directa es 𝑞 ⟹ 𝑝 Escribir en forma simbólica las otras tres
Dados las siguientes proposiciones, escribirlas en forma simbólica.
 13

a) Si no es cierto, que se puede ser rico y dichoso a la vez, entonces la vida está
llena de frustraciones y no es un camino de rosas. Si se es feliz, no se puede
tener todo. Por consiguiente, la vida está llena de frustraciones.
b) Aprobare Algebra, si Dios quiere. Aprobare Algebra si y solo si estudio y hago
todos los ejercicios. Sin embargo, no hice todos los ejercicios, así que Dios no
quiere que apruebe Algebra.
c) Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un
triángulo tiene tres ángulos y su suma es 180°. Si los rombos tienen cuatro
ángulos rectos. Los cuadrados no tienen cuatro ángulos rectos. Por lo tanto, los
rombos no tienen cuatro ángulos rectos.
RAZONAMIENTO DEDUCTIVO VALIDO (REGLAS DE INFERENCIA)
Uno de los objetivos más importantes de la lógica, es la inferencia o deducción de
conclusiones, a partir de un conjunto de proposiciones (premisas), todas verdaderas.
Dado un conjunto de proposiciones: 𝑃1 , 𝑃2 , 𝑃3 … … … . . 𝑃𝑛 llamadas premisas o hipótesis
y sea la proposición C, llamada conclusión.
(1) (𝑃1 ∧ 𝑃2 ∧ 𝑃3 … … … … .∧ 𝑃𝑛 ) ⟹ 𝐶 conjunción de proposiciones verdaderas.
El conjunto de proposiciones la llamamos P, la (1) queda: (2) 𝑃 ⟹ 𝐶 , también lo
𝑃
podemos simbolizar: (2) 𝐶

Se dice que el razonamiento deductivo es válido si: (2) 𝑃 ⟹ 𝐶 es una TAUTOLOGIA, si la

(2) no es una TAUTOLOGIA, entonces el razonamiento deductivo no es válido.
Analizando la (2), como todas las premisas (P) son V, la conclusión (C) deberá ser V (El
razonamiento es válido). Si C es F, el razonamiento no es válido.
METODOS DE DEMOSTRACION: Existen varias técnicas para demostrar la validez de un
razonamiento, una de ellas es la tabla de verdad. Si la tabla da una TAUTOLOGIA, el
razonamiento es válido, caso contrario no es válido.
MÉTODO DIRECTO. Si : 𝑃 ⟹ 𝐶 ,Como la hipótesis P es V, se debe demostrar que C es V.
MÉTODO INDIRECTO. – Si : 𝑃 ⟹ 𝐶, Suponiendo que C sea F, se debe demostrar que P
es F ; (𝐹 ⟹ 𝐹es V) para que el razonamiento sea válido. Para lo cual se debe asumir: la
negación del consecuente ¬𝐶 𝑦 𝑝𝑟𝑜𝑏𝑎𝑟 𝑙𝑎 𝑛𝑒𝑔𝑎𝑐𝑖ó𝑛 𝑑𝑒𝑙 𝑎𝑛𝑡𝑒𝑐𝑒𝑑𝑒𝑛𝑡𝑒 ¬𝑃.
Por lo tanto, se debe incluir en la hipótesis P , ¬𝐶,
Quedando: (𝑃1 ∧ 𝑃2 ∧ 𝑃3 … … … … .∧ 𝑃𝑛 ) ∧ ¬𝐶, Se debe llegar a una contradicción para
probar que C es V.
REGLAS DE INFERENCIA:
𝑝
1.- ADICION (A) : o 𝑝 ⟹ (𝑝 ∨ 𝑞)
𝑝∨𝑞

𝑝∧𝑞 𝑝∧𝑞
2.- SIMPLIFICACION (S) : 𝑜 (𝑝 ∧ 𝑞) ⟹ 𝑝 𝑜 (𝑝 ∧ 𝑞) ⟹ 𝑞
𝑝 𝑞
 14

3.- CONJUNCION ( C) : 𝑝 o (𝑝 ∧ 𝑞) ⟹ (𝑝 ∧ 𝑞)
q
𝑝∧𝑞
4.- MODUS PONENS (M.P) : 𝑝 ⟹ 𝑞 o [(𝑝 ∧ 𝑞) ∧ 𝑝] ⟹ 𝑝
p
p
Significado: Del latín” Al afirmar, afirma”
5.- MODUS TOLLENS P.(M.T) : 𝑝 ⟹ 𝑞
¬𝑞
¬𝑝
Significado: Del latín” Al afirmar, niega”

6.- SILOGISMO DISYUNTIVO (S.D): 𝑝 ∨ 𝑞 o 𝑝∨𝑞

¬𝑞 ¬𝑝
P q
7.- SILOGISMO HIPOTETICO (S.H) : 𝑝 ⟹ 𝑞
𝑞⟹𝑟
𝑝⟹𝑟
8.- DILEMA CONSTRUCTIVO (D.C) : 𝑝 ⟹ 𝑞
𝑟⟹𝑠
𝑝∨𝑟
𝑞∨𝑠

9.- DILEMA DESTRUCTIVO (D.D) : 𝑝 ⟹ 𝑞

𝑟⟹𝑠
¬𝑞 ∨ ¬𝑠
¬𝑝 ∨ ¬𝑟
IMPORTANTE: Cualquier premisa se puede reemplazar por su equivalencia, por lo que
son validas las leyes lógicas.
REGLA DE LAS PREMISAS: “En cualquier punto de la demostración se puede adicionar
una y solo una proposición”
EJERCICIOS
1.- Demostrar que la conclusión es: p (Método directo)
1) 𝑟 ⟹ 𝑝
2) 𝑞 ⟹ 𝑟
3) 𝑞
4) 𝑟 𝑀𝑃(2,3)
5) 𝑝 𝑀𝑃 (1,4)
 15

2.-Demostrar: r (Método directo)

1) 𝑝 ⟹ ¬𝑞
2) ¬𝑝 ⟹ 𝑟
3) 𝑞
4) ¬𝑝 𝑀𝑇(1,3)
5) 𝑟 𝑀𝑃 (2,4)
3.- Demostrar: (𝑞 ∧ ¬𝑟) (Método directo)
1) 𝑝 ⟹ 𝑞
2) 𝑟 ⟹ 𝑠
3) 𝑝 ∧ ¬𝑠
4) 𝑝 𝑆(3)
5)¬𝑠 𝑆 (3)
6) 𝑞 𝑀𝑃(1,4)
7) ¬𝑟 𝑀𝑇(2,5)
8) (𝑞 ∧ ¬𝑠) 𝐶 (6,7)

4.- Demostrar: (¬𝑡) (Método directo)

1) (𝑞 ∨ 𝑟) ⟹ 𝑝
2) 𝑠 ⟹ (𝑞 ∨ 𝑟)
3) ¬𝑠 ⟹ ¬𝑡
4)¬𝑝
5) 𝑠 ⟹ 𝑝 𝑆𝐻(1,2)
6)¬𝑠 𝑀𝑇 (4,5)
7) ¬𝑡 𝑀𝑃(3,6)
5.- Demostrar por dos métodos: q

M. Directo M. Indirecto
1) 𝑝 ⟹ 𝑞 1) 𝑝 ⟹ 𝑞
2) 𝑟 ⟹ 𝑝 2) 𝑟 ⟹ 𝑝
3) 𝑟 3) 𝑟
4) 𝑝 𝑀𝑃(2,3) 4) ¬𝑞 𝑅. 𝑃. (regla de las premisas)
5) 𝑞 𝑀𝑃(1,4) 5) 𝑝 𝑀𝑃(2,3)
6) 𝑞 𝑀𝑃(1,4)
7) 𝑞 ∧ ¬𝑞 C (4,6)
8) F

ACTIVIDAD DE CLASE

1.- Determinar, si los razonamientos son válidos.

 16

a) [𝑝 ⟹ 𝑞] ∧ [𝑝 ∧ 𝑟] ∧ [𝑠] ∴ (𝑞 ∧ 𝑠)

b) [(𝑝 ∨ 𝑞) ⟹ ¬𝑠] ∧ [𝑡 ⟹ 𝑝] ∧ [𝑢 ⟹ 𝑞] ∧ [𝑡 ∨ 𝑢] ∴ (𝑟 ∨ ¬𝑠)

2.- Hallar la conclusión de los siguientes razonamientos

a) Si no me despierto, no podre ir a la fiesta.
Si no voy a la fiesta, no me divertiré.

b) Si, llueve, entonces la tierra se moja

Si, la tierra tiembla, los edificios se caen
Llueve o la tierra tiembla

c) Si no estudio, entonces no viajare y no descansare.

Es necesario viajar o descansar, para estar lucido.
Es suficiente estar sano, para estar lucido.
No estudio.

3.- Demostrar la validez de los siguientes razonamientos:

a) Vale la pena leerlo, si este es un buen libro.

El Algebra es fácil o este libro no vale la pena leerlo.
El Algebra no es fácil.
Por tanto: Este no es un buen libro.

b) María o Carmen serán segundas, si Laura triunfa.

Laura no triunfara, si María es segunda.
Si Ana es segunda, Carmen no será segunda.
Laura triunfa.
Por lo tanto: Laura no triunfa.

c ) La testigo no dice la verdad o Patricia estaba en la Facultad.

Si, Patricia estaba en la Facultad, entonces ella vio a su amiga.
Si, Patricia vio a su amiga, entonces ella sabe quién estuvo antes.
La testigo dice la verdad.
Por lo tanto: Si la testigo dice la verdad, entonces Patricia sabe quién estuvo antes.

MÁS EJERCICIOS. -

Demostrar: t METODO DIRECTO

1) 𝑞∨𝑠
2) ¬(𝑟 ∧ 𝑞)
3) ¬𝑡 ⟹ ¬𝑠
4) ¬𝑟 ⟹ 𝑠
5) ¬𝑠 𝑅. 𝑃.
6) ¬𝑟 ∨ ¬𝑞 𝐿. 𝑀. (2)
7) 𝑞 𝑆. 𝐷. (1,5)
8) ¬𝑟 𝑆. 𝐷. (6,7)
9) 𝑠 𝑀. 𝑃. (4,8)
10) 𝑡 𝑀.T.(3,9)

METODO INDIRECTO
 17

1) 𝑞∨𝑠
2) ¬(𝑟 ∧ 𝑞)
3) ¬𝑡 ⟹ ¬𝑠
4) ¬𝑟 ⟹ 𝑠
5) ¬𝑡 𝑅. 𝑃.
6) ¬𝑠 𝑅. 𝑃.
7) ¬𝑟 ∨ ¬𝑞 𝐿. 𝑀. (2)
8) 𝑞 𝑆. 𝐷. (1,6)
9) ¬𝑟 𝑆. 𝐷. (7,8)
10) 𝑠 𝑀. 𝑃. (4,9)
11) 𝑡 𝑀. 𝑇. (3,10)
12) ¬𝑡 ∧ 𝑡 𝐶. (5,11)
13) 𝐹 𝐶. 𝑁. (12)

EJERCICIOS CON ECUACIONES Y DESIGUALDADES MATEMATICAS

1.- Demostrar: 𝑥 ≠ 0

1) (𝑥 = 𝑦) ⟹ (𝑥 = 2)
2) (𝑥 = 2) ⟹ (𝑥 = 1)
3) (𝑥 = 0) ⟹ (𝑥 ≠ 1)
4) (𝑥 = 𝑦)
Por facilidad cambiamos proposiciones:

p: 𝑥 = 𝑦 ; q: 𝑥 = 2 ; r: 𝑥 = 1; 𝑠: 𝑥 = 0

1) 𝑝⟹𝑞
2) 𝑞⟹𝑟
3) 𝑠 ⟹ ¬𝑟
4) p
5) 𝑝 ⟹ 𝑟 𝑆. 𝐻 (1,2)
6) 𝑟 𝑀. 𝑃. (4,5)
7) ¬𝑠 𝑀. 𝑇(3,6) ⟹ 𝑥 ≠ 0
EJERCICIOS CON ECUACIONES Y DESIGUALDADES MATEMATICAS

2.- Demostrar: (𝑥 ≯ 3) ∨ (𝑦 = 5)

1) (𝑦 = 3) ∨ (𝑥 < 𝑦)
2) (𝑦 = 3) ⟹ (𝑥 ≯ 3)
3) (𝑥 < 𝑦) ⟹ (𝑦 = 5)
Por facilidad cambiamos proposiciones:

p: 𝑥 > 3 ; q: 𝑦 = 5 ; r: 𝑥 < 𝑦; 𝑠: 𝑦 = 3 Demostrar: 𝑞 ∨ ¬𝑝

1) 𝑠∨𝑟
2) 𝑠 ⟹ ¬𝑝
3) 𝑟⟹𝑞
4) 𝑝 𝑅. 𝑃.
5) ¬𝑠 𝑀. 𝑇. (2,4)
6) 𝑟 𝑆. 𝐷. (1,5)
7) 𝑞 𝑀.P. (3,6)
 18

8) 𝑞 ∨ ¬𝑝 𝐴. (7)
3.- Demostrar: 𝑥 = 0

1) (𝑥 ≠ 0) ⟹ (𝑦 = 1)
2) (𝑥 = 𝑦) ⟹ (𝑦 = 𝑧)
3) (𝑦 = 𝑧) ⟹ (𝑦 ≠ 1)
4) (𝑥 = 𝑦) ∧ (𝑥 < 𝑢)

Cambiamos proposiciones

𝑝: 𝑥 = 0 ; 𝑞: 𝑦 = 1 ; 𝑟: 𝑥 = 𝑦 ; 𝑠: 𝑦 = 𝑧 , 𝑡 ∶ 𝑥 < 𝑢 ∴ 𝑝
1) ¬𝑝 ⟹ 𝑞
2) 𝑟⟹𝑠
3) 𝑠 ⟹ ¬𝑞
4) 𝑟∧𝑡
5) 𝑟 ⟹ ¬𝑞 𝑆. 𝐻. (2,3)
6) 𝑟 𝑆. (4)
7) ¬𝑞 𝑀. 𝑃. (5,6)
8) 𝑝 𝑀. 𝑇. (1,7) ∴𝑥=0

CUANTIFICADORES
En lógica, un cuantificador es una expresión que indica cantidad de veces que una propiedad o
función proposicional se satisface dentro de una determinada clase. Los más utilizados son:

a) CUANTIFICADOR UNIVERSAL: (∀)

Dada la función proposicional p(x), definida sobre un conjunto A. Una función se dice que está
cuantificada universalmente, se simboliza: ∀𝑥 ∈ 𝐴: 𝑝(𝑥)

La función cuantificada universalmente se dice que es verdadera (V) ⟺ Son verdaderas todas
las proposiciones particulares asociadas a ella.

El símbolo: ∀𝒙, significa: para todo x, para cada x, cada uno de los x…..etc

Ej. 1.- 𝑆𝑒𝑎 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜: 𝐴 = {1,2,3}

La función: 𝑝(𝑥): 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟

En forma simbólica: ∀𝑥 ∈ 𝐴: 𝑝(𝑥) ∨ ∀𝑥 ∈ 𝐴: 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟

Análisis: 𝑝(1): 1 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑉

𝑝(2): 2 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝐹
𝑝(3): 3 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 𝑉
Como hay un valor F , la función cuantificada es Falsa.

Ej.2.- Sea el conjunto 𝑍 ( 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑒𝑛𝑡𝑒𝑟𝑜𝑠)

a) Escribir en forma simbólica “Todos los enteros son positivos”

b) Hallar el valor de verdad de la función cuantificada.
SOLUCION
a) El cuantificador es universal y p(x) : x son positivos
∀𝑥 ∈ 𝑍: 𝑝(𝑥) ∨ ∀𝑥 ∈ 𝑍: 𝑥 𝑠𝑜𝑛 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜𝑠
b) Es Falso , ya que no todos los enteros son positivos.
 19

E.3.- 𝑆𝑒𝑎 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜: 𝐴 = {2,4,6,8}

La función: 𝑝(𝑥): 𝑥 𝑒𝑠 𝑝𝑎𝑟
En forma simbólica: ∀𝑥 ∈ 𝐴: 𝑝(𝑥) ∨ ∀𝑥 ∈ 𝐴: 𝑥 𝑒𝑠 𝑝𝑎𝑟

Análisis: 𝑝(2): 2 𝑒𝑠 𝑝𝑎𝑟 𝑉

𝑝(4): 2 𝑒𝑠 𝑝𝑎𝑟 𝑉
𝑝(6): 6 𝑒𝑠 𝑝𝑎𝑟 𝑉
𝑝(8): 8 𝑒𝑠 𝑝𝑎𝑟 𝑉
Como son todos verdaderos, la función cuantificada es V

Ej. 4.- Escribir en forma simbólica “Todo hombre es mortal”

Hallar el valor de verdad de la función cuantificada.
SOLUCION
El cuantificador es universal y p(x) : x es mortal
∀𝑥 ∈ 𝐻: 𝑝(𝑥) ∨ ∀𝑥 ∈ 𝑒𝑠 𝑚𝑜𝑟𝑡𝑎𝑙
Es V , ya que todos los hombres son mortales.

Ej. 5.- 𝑆𝑒𝑎 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜: 𝐴 = {1,2,3} ; 𝑦 𝑙𝑎 𝑓𝑢𝑛𝑐𝑖𝑜𝑛: 𝑝(𝑥): 𝑥 + 1 ≥ 2

∀𝑥 ∈ 𝐴/ 𝑥 + 1 ≥ 2
Si : x = 1⟹ 1 + 1 ≥ 2
2 ≥ 2 es V
Si : x = 2⟹ 2 + 1 ≥ 2
3 ≥ 2 es V
Si : x = 3⟹ 3 + 1 ≥ 2
4 ≥ 2 es V

Como todos son V, entonces la función cuantificada es V

b ) CUANTIFICADOR EXISTENCIAL: (∋)

Dada la función proposicional p(x), definida sobre un conjunto A. Una función se dice que está
cuantificada existencialmente, se simboliza: ∋ 𝑥 ∈ 𝐴/𝑝(𝑥)

La función cuantificada existencialmente se dice que es verdadera (V) ⟺ si hay por lo menos
una proposición particular asociada a ella que sea verdadera.

El símbolo: ∋ 𝒙, significa: existe un x; para un x, para algún x, por lo menos un x …etc.

Ej. 1.- 𝑆𝑒𝑎 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜: 𝐴 = {1,2,3}

La función: 𝑝(𝑥): 𝑥 𝑒𝑠 𝑝𝑎𝑟

En forma simbólica: ∃𝑥 ∈ 𝐴/𝑝(𝑥) ∨ ∃𝑥 ∈ 𝐴/𝑥 𝑒𝑠 𝑝𝑎𝑟

Análisis: 𝑝(1): 1 𝑒𝑠 𝑝𝑎𝑟 𝐹

𝑝(2): 2 𝑒𝑠 𝑝𝑎𝑟 𝑉
𝑝(3): 3 𝑒𝑠 𝑝𝑎𝑟 𝐹
Como hay un valor V, la función cuantificada existencialmente es Verdadera.

Ej. 2.- 𝑆𝑒𝑎 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜: 𝐴 = {1,2,3} ; 𝑦 𝑙𝑎 𝑓𝑢𝑛𝑐𝑖𝑜𝑛: 𝑝(𝑥): 𝑥 + 1 ≤ 2

 20

∋ 𝑥 ∈ 𝐴/ 𝑥 + 1 ≤ 2
Si : x = 1⟹ 1 + 1 ≤ 2
2 ≤ 2 es V
Si : x = 2⟹ 2 + 1 ≤ 2
3 ≤ 2 es F
Si : x = 3⟹ 3 + 1 ≤ 2
4 ≤ 2 es F
Como hay un valor V, entonces la función cuantificada es V

Ej.3.- Sea el conjunto 𝑍 ( 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑒𝑛𝑡𝑒𝑟𝑜𝑠)

a) Escribir en forma simbólica “Existen enteros que son positivos”

b) Hallar el valor de verdad de la función cuantificada.
SOLUCION
a) El cuantificador es existencial y p(x) : x son enteros positivos
∋ 𝑥 ∈ 𝑍/𝑝(𝑥) ∨ ∋ 𝑥 ∈ 𝑍/𝑥 𝑠𝑜𝑛 𝑒𝑛𝑡𝑒𝑟𝑜𝑠 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜𝑠

b) Es V , ya que algunos enteros son positivos.

FUNCIONES PROPOSICIONALES DE DOS VARIABLES

Una función proposicional de dos variables, se dice que está cuantificada si cada variable está
precedida de un cuantificador.
Dado un conjunto A y la función: 𝑝(𝑥, 𝑦)

Ej.1.- 𝑆𝑒𝑎 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜: 𝐴 = {1,2,3} y la función: 𝑝(𝑥, 𝑦): 𝑥 2 + 𝑦 2 < 10

Hallar el valor de verdad de: ∀𝑥 ∈ 𝐴 ∋ 𝑦 ∈ 𝐴/ 𝑥 2 + 𝑦 2 < 10

Como el cuantificador de “y” es existencial y la desigualdad es menor, elijo para: y = 1, el

cuantificador de “x” es universal y la desigualdad es menor: elijo para: x= 3

⟹ 𝑥 = 3 ∧ 𝑦 = 1 ∴ 32 + 12 < 10

10 < 10 𝑒𝑠𝑡𝑜 𝑒𝑠 𝐹
El valor de verdad de la función cuantificada es FALSO

NEGACIÓN DE FUNCIONES CUANTIFICADAS

REGLA.- Para negar funciones proposicionales cuantificadas, primero se niega el
cuantificador y luego se niega la función proposicional de una o más variables.
¬[∀x ∈ A: p(x)] ⇔ ∃𝑥 ∈ 𝐴/¬𝑝(𝑥)
¬[∃x ∈ A: p(x)] ⇔ ∀𝑥 ∈ 𝐴/¬𝑝(𝑥)
Ej.-1 Sea 𝑝(𝑥): 𝑇𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 ℎ𝑜𝑚𝑏𝑟𝑒𝑠 𝑠𝑜𝑛 𝑚𝑜𝑟𝑡𝑎𝑙𝑒𝑠
En forma simbólica: ∀𝑥 ∈ 𝐻: 𝑝(𝑥)
¬[∀𝑥 ∈ 𝐻: ¬𝑝(𝑥)] ⇔ ∃𝑥 ∈ 𝐻/¬𝑝(𝑥)
Se lee “Algunos hombres que no son mortales “
 21

O “Existen hombres que son inmortales”

Ej.-2 Sea 𝑝(𝑥): 𝐴𝑙𝑔𝑢𝑛𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑅 𝑠𝑜𝑛 𝑖𝑚𝑝𝑎𝑟𝑒𝑠
En forma simbólica: ∃𝑥 ∈ 𝑅/𝑝(𝑥)
¬[∃𝑥 ∈ 𝑅/¬𝑝(𝑥)] ⇔ ∀𝑥 ∈ 𝑅: ¬𝑝(𝑥)
Se lee “Ningún numero R es impar “
Ej.-3 Negar las siguientes funciones cuantificadas:
a) ∃𝑥 ∈ 𝑅/ 𝑥 2 < 12 ⇔ ¬[ ∃𝑥 ∈ 𝑅/ 𝑥 2 < 12] ⇔ ∀𝑥 ∈ 𝑅: 𝑥 2 ≥ 12

b) ∀𝑥 ∈ 𝑅 ∶ 𝑥 2 = 𝑥 ⇔ ¬[ ∀𝑥 ∈ 𝑅: 𝑥 2 = 12] ⇔ ∃𝑥 ∈ 𝑅/𝑥 2 ≠ 12
Escribir en forma simbólica los siguientes enunciados, negar y traducir al lenguaje
ordinario.
1.- Todo el que la conoce, la admira
2.- Hay alumnos que estudian y aprueban las materias.
1.- 𝑝(𝑥): 𝑥 𝑙𝑎 𝑐𝑜𝑛𝑜𝑐𝑒 ∧ 𝑞(𝑥): 𝑥 𝑙𝑎 𝑎𝑑𝑚𝑖𝑟𝑎
Simbólicamente: ∀𝑥 ∈ 𝐻: 𝑝(𝑥) ⇒ 𝑞(𝑥)
Negación: ¬[∀𝑥 ∈ 𝐻: 𝑝(𝑥) ⇒ 𝑞(𝑥)] ⇔ ∃𝑥 ∈ 𝐻/¬(¬𝑝(𝑥) ∨ 𝑞(𝑥))
⇔ ∃𝑥 ∈ 𝐻/ 𝑝(𝑥) ∧ ¬𝑞(𝑥)
“Algunas personas que la conocen y no la admiran”
2.- p(x) : “Alumnos que estudian las materias”
q(x) : “Alumnos que aprueban las materias”
Simbólicamente: ∃𝑥 ∈ 𝐴/ 𝑝(𝑥) ∧ 𝑞(𝑥)
Negación: ¬[∃𝑥 ∈ 𝐴/𝑝(𝑥) ∧ 𝑞(𝑥)] ⇔ ∀𝑥 ∈ 𝐴: ¬𝑝(𝑥) ∨ ¬𝑞(𝑥)
“Todos los alumnos no estudian o no aprueban las materias”
Ej.- 3 Dado el conjunto: 𝐴 = {1,2,3}
a) Determinar el valor de verdad de las siguientes funciones cuantificadas.

a) ∀𝑥 ∈ 𝐴∀𝑦 ∈ 𝐴: 𝑥 2 + 𝑦 2 > 2
b) ∃𝑥 ∈ 𝐴∀𝑦 ∈ 𝐴: 𝑥 2 + 𝑦 2 > 2
c) ∃𝑥 ∈ 𝐴∃𝑦 ∈ 𝐴: 𝑥 2 + 𝑦 2 > 2
d) ∃𝑥 ∈ 𝐴∀𝑦 ∈ 𝐴: 𝑥 2 + 1 ≥ 𝑦 2
b) Negar las funciones cuantificadas y verificar sus valores de verdad.

CIRCUITOS LOGICOS
 22

Los circuitos logicos forman la base de cualquier dispositivo en el que se tengan que
relacionar o combinar de manera controlada, se utilizan en transmisiones por satelite ,
en el funcionamiento de las computadoras digitales.
En un circuito logico digital existe transmision de informacion binaria entre sus circuitos.
El valor de verdad de una proposicion puede asociarse al pasaje de corriente en un
circuito electrico controlado por un interruptor.
Para representar un interruptor mediante una proposicion” p”se tiene:

p ¬p

En la primer figura, el interruptor (proposicion) p esta cerrado (pasa corriente) ,si el valor de
verdad de “p” es V, y en la segunda figura, el interruptor esta abierto ( no pasa corriente), si el
valor de verdad de” p “es F. Entonces se puede hacer una identificacion entre las proposiciones
y los interruptores de un circuito electrico.

Los diferentes conectivos, pueden representarse mediante circuitos con tantos interruptores
(proposiciones) contenga una formula.

CIRCUITOS SERIE Y PARALELO

Dos proposiciones 𝑝 𝑦 𝑞 estan en SERIE, se los simboliza: 𝑝 ∧ 𝑞 y se grafica:

p q
⟹ 𝑝∧𝑞
Para que pase corriente, los dos interruptores deben estar cerrados ( verdaderos)

Podemos asociar la tabla de verdad de la conjuncion al circuito serie.

P q p∧ 𝑞 Hacer el analisis de la tabla

1 1 1
1 0 0
0 1 0
0 0 0

Dos proposiciones 𝑝 𝑦 𝑞 estan en PARALELO, se los simboliza: 𝑝 ∨ 𝑞 y se grafica:

⟹𝑝∨𝑞
q

Podemos asociar la tabla de verdad deq la disyuncion al circuito serie.

P q p∨ 𝑞
 23

1 1 1
1 0 1
0 1 1
0 0 0

Hacer el analisis de la tabla

DIBUJAR LOS CIRCUITOS DE CONECTIVOS:

a ) IMPLICACION: (𝑝 ⟹ 𝑞) ⟺ (¬𝑝 ∨ 𝑞)

¬p

TAREA PARA LA CLASE

b) (𝑝 ⟺ 𝑞 )⟺ (¬𝑝 ∨ 𝑞) ∧ (¬𝑞 ∨ 𝑝)

c) 𝑝 △ 𝑞 ⟺ (𝑝 ∧ ¬𝑞) ∨ (𝑞 ∧ ¬𝑝)

DIBUJAR: (𝑝 ∧ 𝑞 ∧ 𝑟)

p q
r

DIBUJAR: (𝑝 ∨ ¬𝑞 ∨ 𝑟) p

¬q

Dado el circuito, hallar la formula pproposicional. Simplifcar y hallar el circuito equivalente.

p q

¬q p
¬p

q
 24

La formula del circuito : {(𝑝 ∧ 𝑞) ∨ [(¬𝑝 ∧ ¬𝑞) ∨ (𝑞)]} ∧ 𝑝

{(𝑝 ∧ 𝑞) ∨ [(¬𝑝 ∧ ¬𝑞) ∨ (𝑞)]} ∧ 𝑝 ⟺ {(𝑝 ∧ 𝑞) ∨ [(¬𝑝 ∨ 𝑞) ∧ (¬𝑞 ∨ 𝑞)]} ∧ 𝑝 L. D.

⟺ {(𝑝 ∧ 𝑞) ∨ [(¬𝑝 ∨ 𝑞) ∧ 𝑉]} ∧ 𝑝 𝐶. 𝑁.

⟺ {[(𝑝 ∧ 𝑞) ∨ 𝑞] ∨ ¬𝑝} ∧ 𝑝 𝐿. 𝐶. 𝑦 𝐸. 𝑁.
⟺ (𝑞 ∨ ¬𝑝) ∧ 𝑝 𝐴𝐵𝑆𝑂𝑅𝐶. ⟺ (𝑞 ∧ 𝑝) ∨ (¬𝑝 ∧ 𝑝) 𝐿. 𝐷.
⟺ (𝑞 ∧ 𝑝) ∨ 𝐹 𝐶. 𝑁. ⟺ (𝑞 ∧ 𝑝) 𝐸. 𝑁.
⟺ (𝑞 ∧ 𝑝)
p p
El circuito equivalente:

COMPUERTAS LOGICAS : Son circuitos electronicos conformados internamente por

transistores que se encuentran con arreglos espaeciales con los que otorgan señales de
voltaje como resultado o una salida de forma Booleana, estan obtenidos por operaciones
logicas binarias ( suma ; multiplicacion). Tambien niegan, afirman , incluyen o excluyen
según propiedades logicas. Estas compuertas se pueden aplicar en otras areas de la
ciencia como: macanica, hidraulica o neumatica.
La compuertas mas simples son : “Y” ( AND) MULTIPLICATIVA; “O” ( OR) SUMATIVA . Se
caracterizan por tener una o varias entradas y una salida. La NOT ( NO) tiene una entrada
y una salida , actua como inversor.
AND OR NOT
P P ~p
p∧q P∨q p
q . q + -

Ejercicios:
1.- Dibujar los circuitos de compuertas lógicas
a) ¬(𝑝 ∨ 𝑞) 𝑏) (¬𝑝 ∧ ¬𝑞) 𝑐) {[(𝑝 ∧ ¬𝑞) ∨ ¬𝑝] ∨ 𝑞} ∧ ¬𝑝
 25

2.- Dibujar, simplificar y hallar los circuitos equivalentes.

a) {[(𝑟 ∨ 𝑠) ∨ (∼ 𝑟 ∨∼ 𝑠)] ∧∼ 𝑠} ∨ [𝑟 ∧ (𝑝 ∨∼ 𝑟)]
b) {(∼ 𝑝 ∨∼ 𝑞) ∨ (𝑝 ∨ 𝑞)} ∧ {𝑝 ∨ [𝑞 ∧ (∼ 𝑟 ∨∼ 𝑞)]}