ALGEBRA I (MAT 1100) Ing.

JULIO MAMANI GUAYGUA

CAPITULO Nro. 1
ALGEBRA PROPOSICIONAL

1.1.- PROPOSICION.- Definición.- Es toda expresión lingüística o matemática (declarativa) respecto de la cual tiene
sentido afirmar que es verdadera o que es falsa, pero no ambas a la vez.
Toda proposición está asociada a un valor de verdad el cual puede ser verdadero (𝑉) o bien falso (𝐹)

1.1.1.- NOTACION.- Las proposiciones simples se denotan con las letras: 𝑝, 𝑞, 𝑟, …., , etc.
𝑉 𝑆𝑖 𝑝 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎
𝜐(𝑝) = {
𝐹 𝑆𝑖 𝑝 𝑒𝑠 𝑓𝑎𝑙𝑠𝑎
Dónde: 𝜐(𝑝) se lee: “Valor de verdad de la proposición p”

Ejemplo 1.- 𝑝: “Juan estudia”; 𝑞:”Alejandra trabaja”; (se denominan proposiciones simples o atómicas)
𝑝 ∧ 𝑞: "𝐽𝑢𝑎𝑛 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑦 𝐴𝑙𝑒𝑗𝑎𝑛𝑑𝑟𝑎 𝑡𝑟𝑎𝑏𝑎𝑗𝑎" (se denomina proposición compuesta o molecular)

Ejemplo 2.- Determinar cuáles de las expresiones son proposiciones y hallar el valor de verdad en caso afirmativo
a) La luz tiene peso b) Algunos alumnos estudian c) Estos perros
d) ¿Cual es tu nombre? e) 2 + 3 < 10 f) ¡ Viva San Jose !
g) √ √𝑥 − 3 h) 2𝑥 − 3 = 7
3

SOLUCION:

a) La luz tiene peso ES PROPOSICION; 𝑝: "La luz tiene peso" ; 𝜐(𝑝) = 𝐹

b) Algunos alumnos estudian ES PROPOSICION; 𝒒: "Algunos alumnos estudian" ; 𝜐(𝑞 ) = 𝑉
c) Estos perros NO ES PROPOSICION
d) ¿Cual es tu nombre? NO ES PROPOSICION
e) 2 + 3 > 10 ES PROPOSICION; 𝑟: "2 + 3 > 10" ; 𝜐(𝑟) = 𝐹
f) ¡ Viva San Jose ! NO ES PROPOSICION
g) √ 3√𝑥 − 3 NO ES PROPOSICION
h) 2𝑥 − 3 = 7 NO ES PROPOSICION

1.1.2.- TABLA DE VERDAD.- Es un arreglo ordenado de todas las posibilidades de valores de verdad de las
proposiciones simple y compuestas. Se construye de la forma siguiente:
* El número de filas de la tabla excluyendo la superior llamada MARGEN se calcula por:
𝑁° 𝑓𝑖𝑙𝑎𝑠 = 2𝑛
Donde “n” es el número de proposiciones simples.
** En la fila superior llamada MARGEN se escriben las proposiciones simples y compuestas
p q 𝑝⋀𝑞
*** A continuación se ubican en la parte inferior del margen todas las posibles combinaciones de los valores de
verdad de las proposiciones simples.

2
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA

p q 𝑝⋀𝑞
V V
V F
F V
F F
**** Según la operación lógica (proposición compuesta) se asigna el valor de verdad a las combinaciones.
p q 𝑝⋀𝑞
V V V
V F F
F V F
F F F

1.1.3.- CIRCUITO LOGICO.- Son representaciones graficas de las proposiciones simples y compuestas. Las
operaciones proposicionales se pueden representar mediante circuitos con tantos interruptores como
proposiciones que la componen, combinados en serie o en paralelo según el conectivo lógico que une las
proposiciones.
Si: 𝜐(𝑝) = 𝐹 ⇒ (interruptor abierto)
Si: 𝜐(𝑝) = 𝑉 ⇒ (interruptor cerrado)

1.1.4.- CONECTIVOS LOGICOS.- Son símbolos de enlace entre proposiciones simples, estas definen
operaciones proposicionales denominadas proposiciones compuestas o moleculares
Conectivo Nombre Esquema Significado
~𝑜 ¬ negación ~𝑝 No 𝑝
⋀ conjunción 𝑝∧𝑞 𝑝𝑦𝑞
∨ disyuncion 𝑝∨𝑞 𝑝𝑜𝑞
⇒ condicional 𝑝⇒𝑞 𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞
⇔ bicondicional 𝑝⇔𝑞 𝑝 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑞
∨ 𝑜∆ disyunción excluyente 𝑝∨𝑞 p o q pero no ambas
↓ negación conjunta 𝑝↓𝑞 “ni p ni q”; “si p si q”
↑ Negación alternativa 𝑝↑𝑞 p incompatible con q

1.2.- OPERACIONES CON PROPOSICIONES

a) NEGACION.- (~) o (¬) Es un operador monadico o monario (Se realiza la operación con una sola proposición)
DEFINICION.- Si p es una proposición simple o atómica se define;
~𝑝 se lee: “No p” ; “No es cierto que p”; “No es verdad p”, “Es falso p”
p ~𝑝
V F
F V

3
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
b) CONJUNCION (PRODUCTO LOGICO).- ( ⋀) Es un operador diádico o binario (Se realiza la operación con dos
proposiciones)
DEFINICION.- Si p y q son proposiciones simples o atómicas se define la proposición compuesta:
𝑝⋀𝑞 se lee: “p y q”; “p pero q”; “p sin embargo q”; “p no obstante q”; “p a pesar de q”
p q 𝑝⋀𝑞
V V V
V F F
F V F
F F F
“La tabla de verdad de la conjunción es verdadera si las proposiciones son verdaderas y en otro caso es falsa”

c) DISYUNCION (SUMA LOGICA).- (∨) Es un operador diádico o binario.

DEFINICION.- Si p y q son proposiciones simples se define:
𝑝 ∨ 𝑞 se lee: “p o q”; “o p o q o ambos casos”; “como mínimo p o q”
p q 𝑝∨𝑞
V V V
V F V
F V V
F F F
“La tabla de verdad de la disyunción es falsa si las proposiciones son falsas y en otro caso es verdadera”

d) IMPLICACION (CONDICIONAL).- (⇒) Es un operador diádico o binario, “p” se denomina ANTECEDENTE “q” se
denomina CONSECUENTE.
DEFINICION.- Si p y q son proposiciones simples se define:
𝑝 ⇒ 𝑞 se lee: “si p entonces q”; “p implica q”; “p es suficiente para q”; “q es necesario para p”; “q si p”
p q 𝑝⇒𝑞
V V V
V F F
F V V
F F V
“La tabla de verdad del condicional es falsa si el antecedente es verdadero y el consecuente falso y en otro caso es
verdadero”
PROPIEDAD.-
𝑝 ⇒ 𝑞 ≡ ~𝑝 ∨ 𝑞
IMPLICACIONES ASOCIADAS.- Sea la condicional: 𝑝 ⇒ 𝑞 que llamamos directo en conexión a el se presentan
otros tres casos, obtenidos por permutaciones o negaciones del antecedente y consecuente:
𝑞⇒𝑝 Reciproco
~𝑝 ⇒ ~𝑞 Contrario
~𝑞 ⇒ ~𝑝 Contrareciproco
Las 4 implicaciones se llaman conjugadas, en el siguiente esquema se muestra la relación que las vincula:

4
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA

Se verifica que las implicaciones contrareciprocas son equivalentes:

𝑝 ⇒ 𝑞 ⇔ ~𝑞 ⇒ ~𝑝
𝑞 ⇒ 𝑝 ⇔ ~𝑝 ⇒ ~𝑞

e) DOBLE IMPLICACION (BICONDICIONAL).- (⇔) Es un operador diádico.

DEFINICION.- Si p y q son proposiciones simples se define:

𝑝 ⇔ 𝑞 se lee: “p si y solo si q”; “p necesario y suficiente para q”
p q 𝑝⇔𝑞
V V V
V F F
F V F
F F V
“La tabla de verdad es verdadero si ambos son verdaderos o ambos son falsos”
PROPIEDAD.-
𝑝 ⇔ 𝑞 ≡ (𝑝 ⇒ 𝑞)⋀(𝑞 ⇒ 𝑝)

f) DISYUNCION EXCLUYENTE (DIFERENCIA SIMETRICA).- (∨ 𝑜 ∆) Es un operador diádico.

DEFINICION.- Si p y q son simples se define:

𝑝 ∨ 𝑞 se lee: “o p o q”; “p o q pero no ambas”
p q 𝑝∨𝑞
V V F
V F V
F V V
F F F
“La tabla de verdad es falso si ambos son verdaderos o ambos son falsos” (es la negación de la bicondicional)

PROPIEDAD.-
𝑝 ∨ 𝑞 ≡∼ (𝑝 ⇔ 𝑞)

g) NEGACION CONJUNTA (CONJUNCION NEGATIVA).- (↓) También denominado Conectivo De Sheffer.

DEFINICION.- Si p y q son simples se define la proposición compuesta o molecular.
𝑝 ↓ 𝑞 se lee: “ni p ni q”; “si p si q”

5
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
p q 𝑝↓𝑞
V V F
V F F
F V F
F F V
PROPIEDAD.-
𝑝 ↓ 𝑞 ≡ ~(𝑝 ∨ 𝑞) La tabla de verdad es la negación de la disyunción

h) INCOMPATIBILIDAD CONJUNTA (NEGACION ALTERNATIVA) (↑) Es un operador diádico.

DEFINICION.- SI p y q son proposiciones atómicas se define:
𝑝 ↑ 𝑞 se lee: “p incompatible con q”
p q 𝑝↑𝑞
V V F
V F V
F V V
F F V
PROPIEDAD.-
𝑝 ↑ 𝑞 ≡∼ (𝑝 ∧ 𝑞) (La tabla de verdad es la negación de la conjuncion)
Ejemplo 3.- Si: p:” Está lloviendo”; q:” La calle esta mojada” Escribir las proposiciones: a) ~𝑝 b) 𝑝 ∧ 𝑞 c) 𝑝 ∨ 𝑞
d) 𝑝 ⇒ 𝑞 e) 𝑝 ⇔ 𝑞 f) 𝑝∆𝑞 g) 𝑝 ↓ 𝑞 h) 𝑝 ↑ 𝑞
SOLUCION:
a) ~𝑝: ”No está lloviendo”
b) 𝑝 ∧ 𝑞: “Está lloviendo y la calle esta mojada”
c) 𝑝 ∨ 𝑞: “Está lloviendo o la calle esta mojada”
d) 𝑝 ⇒ 𝑞: ”Si está lloviendo entonces la calle esta mojada”
e) 𝑝 ⇔ 𝑞: “Está lloviendo si y solo si la calle esta mojada”
f) 𝑝∆𝑞: “O bien está lloviendo o bien la calle esta mojada”
g) 𝑝 ↓ 𝑞: “Ni está lloviendo, ni la calle esta mojada”
h) 𝑝 ↑ 𝑞: “Es incompatible que este lloviendo y la calle este mojada”

1.3.- EQUIVALENCIA LOGICA.- Dos o más proposiciones simples o compuestas son lógicamente equivalentes si sus
tablas de verdad son idénticas o sus valores de verdad son los mismos en cada renglón (fila). Se simboliza por: “≡”
Ejemplo 4.- Determinar si las proposiciones son equivalentes: (𝑝 ⇔ 𝑞) y ~(𝑝 ∨ 𝑞)
SOLUCION:
Para determinar si son equivalentes construimos tablas de verdad:
p q 𝑝⇔𝑞 p q 𝑝 ∨ 𝑞 ~(𝑝 ∨ 𝑞)
V V V V V F V
V F F V F V F
F V F F V V F
F F V F F F V

6
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
Como se podrá ver las tablas de verdad tienen el mismo resultado, se concluye que las proposiciones son
equivalentes:
(𝑝 ⇔ 𝑞) ≡ ~(𝑝 ∨ 𝑞)
1.4.- POSIBILIDADES LOGICAS.- Las proposiciones se clasifican según su tabla de verdad en:
a) TAUTOLOGIA.- Cuando el resultado de la tabla de verdad es todo verdadero
b) CONTRADICCION.- Cuando el resultado de la tabla de verdad es todo falso
c) CONTINGENCIA.- Cuando el resultado de la tabla tiene valores de verdad combinados entre verdaderos
y falsos.
EJEMPLO 5.- a) Determinar si la proposición es tautología contradicción y contingencia:
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝
b) Construir el circuito lógico asociado a la proposición: {(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝
SOLUCION:
a) Construyendo la tabla de verdad:
𝑝 𝑞 ~𝑝 ~𝑞 𝑝∧𝑞 ~𝑝 ∧ ~𝑞 (~𝑝 ∧ ~𝑞) ∨ 𝑞 (𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ] {(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞]} ∧ 𝑝

V V F F V F V V V
V F F V F F F F F
F V V F F F V V F
F F V V F V V V F
Como la tabla de verdad tiene verdades y falsedades es: CONTINGENCIA
b)
p q
~p ~q p
q

1.5.- PROPIEDADES Y LEYES DE LAS PROPOSICIONES.- Son las siguientes:

a) ASOCIATIVIDAD: 𝑝 ∨ (𝑞 ∨ 𝑟) ≡ (𝑝 ∨ 𝑞) ∨ 𝑟 ; 𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟
b) CONMUTATIVIDAD: 𝑝∨𝑞 ≡ 𝑞∨𝑝; 𝑝∧𝑞 ≡𝑞∧𝑝
c) DISTRIBUTIVIDAD: 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟) ; 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
d) IDEMPOTENCIA: 𝑝∨𝑝 ≡ 𝑝; 𝑝∧𝑝≡𝑝
e) IDENTIDAD: 𝑝∨𝑓 ≡ 𝑝; 𝑝∨𝑣 ≡𝑣; 𝑝∧𝑣 ≡𝑝; 𝑝∧𝑓 ≡𝑓
f) COMPLEMENTACION: 𝑝 ∨ ~𝑝 ≡ 𝑣 ; 𝑝 ∧ ~𝑝 ≡ 𝑓 ; ~(~𝑝) ≡ 𝑝: ~𝑓 ≡ 𝑣 ; ~𝑣 ≡ 𝑓
g) LEYES DE MORGAN: ~(𝑝 ∨ 𝑞) ≡ ~𝑝 ∧∼ 𝑞 ; ~(𝑝 ∧ 𝑞) ≡ ~𝑝 ∨∼ 𝑞
h) DEFINICION DE CONDICIONAL: 𝑝 ⇒ 𝑞 ≡ ~𝑝 ∨ 𝑞
i) DEFINICION DE BICONDICIONAL: 𝑝 ⇔ 𝑞 ≡ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝)
j) ABSORCION: 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 ; 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
k) OTRAS PROPIEDADES: 𝑝∆𝑞 ≡ ~(𝑝 ⇔ 𝑞) ; 𝑝 ↓ 𝑞 ≡ ~(𝑝 ∨ 𝑞) ; 𝑝 ↑ 𝑞 ≡ ~(𝑝 ∧ 𝑞)

Ejemplo 6.- Simplificar la proposición: {(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 y construir el circuito lógico
asociado.

7
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
SOLUCION:
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ {(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∨ 𝑞) ∧ (~𝑞 ∨ 𝑞)]} ∧ 𝑝 Distributividad
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ {(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∨ 𝑞) ∧ 𝑉 ]} ∧ 𝑝 Complementación
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ [(𝑝 ∧ 𝑞) ∨ (~𝑝 ∨ 𝑞 )] ∧ 𝑝 Identidad
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ [(𝑝 ∧ 𝑞) ∧ 𝑝] ∨ [(~𝑝 ∨ 𝑞 ) ∧ 𝑝] Distributividad
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ {[(𝑝 ∧ 𝑝) ∧ 𝑞 ] ∨ [(~𝑝 ∧ 𝑝) ∨ (𝑞 ∧ 𝑝)]} Asociatividad,
conmutatividad, distributividad
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ (𝑝 ∧ 𝑞) ∨ [𝐹 ∨ (𝑞 ∧ 𝑝)] Idempotencia, complementación
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ (𝑝 ∧ 𝑞) ∨ (𝑞 ∧ 𝑝) Identidad
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑞) Conmutatividad
{(𝑝 ∧ 𝑞) ∨ [(~𝑝 ∧ ~𝑞) ∨ 𝑞 ]} ∧ 𝑝 ≡ 𝑝 ∧ 𝑞 Idempotencia
p q

1.6.- RAZONAMIENTOS DEDUCTIVOS VALIDOS (INFERENCIA LOGICA).- Es un conjunto de proposiciones,

P1, P2, P3, ,…… , Pn denominadas PREMISAS, producen como consecuencia lógica una proposición Q llamada
CONCLUSION. Se denota por:
𝑃1
𝑃2
𝑃3 Premisas
⋮
𝑃𝑛 }
𝑄 Conclusión
También se puede escribir de la forma:
(𝑃1 ∧ 𝑃2 ∧ 𝑃3 ∧ … … ∧ 𝑃𝑛 ) ⇒ 𝑄 Se denomina POLINOMIO BOOLEANO

1.6.1.- METODOS DE DEMOSTRACION.- Son por reglas de inferencia (Mediante reglas de inferencia lógica obtener
la conclusión) y por tablas de verdad (Si la tabla es tautología el razonamiento es válido o verdadero)

1.6.2.- REGLAS DE INFERENCIA LOGICA.- Llamaremos reglas de inferencia a toda regla que permita la obtención de
nuevas afirmaciones verdaderas dadas. Es decir: reglas de inferencia es todo par ordenado ({p 1,p2,......pn}, q)
formado por el conjunto {p1,p2,......p n}de proposiciones llamadas premisas y “q” llamada conclusión, de modo que si
p1 ^ p2 ^...... ^ pn verdaderas, entonces “q” es verdadera.
Las reglas de inferencia son:

a) ADICION.- (A)
p 𝑝 ⇒ (𝑝 ∨ 𝑞)

p∨q

8
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
b) SIMPLIFICACION.- (S)
p∧q
p∧q (𝑝 ∧ 𝑞) ⇒ 𝑝 (𝑝 ∧ 𝑞) ⇒ 𝑞
q
p

c) CONJUNCION.- (C)
p (𝑝 ∧ 𝑞) ⇒ (𝑝 ∧ 𝑞)

p∧q

d) MODUS PONENS.- (MP)

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

q
e) MODUS TOLLENS.- (MT)
p⇒q [(𝑝 ⇒ 𝑞) ∧ ~𝑞 ] ⇒ ~𝑝

~q

~p

f) SILOGISMO DISYUNTIVO.- (SD)

p∨q [(𝑝 ∨ 𝑞) ∧ ~𝑝] ⇒ 𝑞 p∨q [(𝑝 ∨ 𝑞) ∧ ~𝑞 ] ⇒ 𝑝

~p ~q

q p

g) SILOGISMO HIPOTETICO.- (SH)

p⇒q [(𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑟)] ⇒ (𝑝 ⇒ 𝑟)

q⇒r

p⇒r

EJEMPLO 6.- Determinar la validez del siguiente razonamiento: “Si Luis gana el concurso, entonces viajara a
España. Luis no viajo a España por lo tanto Luis no gano el concurso”
SOLUCION:

9
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
Sean las proposiciones: p: “Luis gana el concurso”
q: “Luis viajara a España”
Escribiendo el razonamiento:
p⇒q [(𝑝 ⇒ 𝑞) ∧ ~𝑞 ] ⇒ ~𝑝

~q

~p
1ra. FORMA (Construyendo tablas de verdad)
𝑝 𝑞 ~𝑝 ~𝑞 𝑝 ⇒ 𝑞 (𝑝 ⇒ 𝑞) ∧ ~𝑞 [(𝑝 ⇒ 𝑞) ∧ ~𝑞 ] ⇒ ~𝑝
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
La tabla de verdad es una tautología por tanto EL RAZONAMIENTO ES VALIDO

2da. FORMA (Utilizando reglas de inferencia lógica)

p⇒q 1

~q 2
~p
M.T. 1 y 2

Por tanto EL RAZONAMIENTO ES VALIDO

1.7.- ESQUEMAS O FORMAS PROSICIONALES.- Es una expresión que contiene una o más variables y que se
convierte en proposición si sustituimos las variables por algunos elemento de un conjunto universo.
Se denota por 𝑃(𝑥), (Forma o esquema proposicional en una variable; 𝑄(𝑥, 𝑦), (Forma o esquema
proposicional en dos variables; 𝑅(𝑥, 𝑦, 𝑧), (Forma o esquema proposicional en tres variables).

1.8.- CUANTIFICADORES.-
a) EXISTENCIAL.- Se denomina cuantificador existencial al símbolo “∃” que se lee: ” existe”. Anteponiendo
a la variable “x” se puede obtener proposiciones falsas o verdaderas “Este cuantificador indica que algún o algunos
elementos del conjunto universo tiene el o los atributos enunciados en el esquema proposicional”.
“∃𝑥” se lee: “Existe por lo menos un x”; “ Algunos x”; “Hay por lo menos un x”

b) UNIVERSAL.- Se denomina cuantificador universal al símbolo “∀” que se lee: ”para todo”. Anteponiendo
a la variable “x” se puede obtener proposiciones falsas o verdaderas “Este cuantificar indica que todos los
elementos del conjunto universo tiene el o los atributos enunciados en el esquema proposicional”
“∀𝑥” se lee: “Para todo x”; “Todo x”; “Cualquiera sea x”; Para cada x”; Todos los x”.

10
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
1.9.- NEGACION DE CUANTIFICADORES.- La negación de un esquema proposicional en una variable con un
cuantificador universal “∀”es equivalente a la negación del Esquema proposicional precedido por el cuantificador
existencial “∃” y recíprocamente: ~[∀𝑥; 𝐹(𝑥)] ⇔ ∃𝑥; ~𝐹(𝑥)
~[∃𝑥; 𝐹(𝑥)] ⇔ ∀𝑥; ~𝐹(𝑥)

1.10.- CONSTRUCCION DE TABLAS DE VERDAD CON ASISTENTE MATEMATICO.- El asistente matemático DERIVE
permite construir tablas de verdad de una forma muy simple, para ello basta con que se introduzca en la barra de
entrada de expresiones la proposición simple o compuesta cuya tabla se desea encontrar: TRUTH_ TABLE
(proposiciones simples o compuestas separadas por comas)

Ejemplo 7.- Construir la tabla de verdad de la proposición: ~[(𝑝 ∧ ~𝑞) ∨ ~𝑝]

SOLUCION:
Escribiendo en la barra de entrada de datos la proposición compuestas: truth_table(p,q,¬((p∧¬q)∨¬p))
Pulsando la tecla igual se tiene:

11
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
PRACTICA Nro. 1
1.- Construir tablas de verdad de las proposiciones y clasificarlas (¿tautología, contradicción o contingencia?)
a) (𝑝⋀ ∼ 𝑞) ⇒ (𝑝 → 𝑞) b) [𝑝⋁(𝑞 ↔ 𝑟)]⋀[(∼ 𝑝 ∨ 𝑟) ↔∼ 𝑞]

c) [(𝑝 ⇒ 𝑞) ∧ (𝑟 ⇒ 𝑠) ∧ (𝑝⋁𝑟)] ⇒ (𝑞⋁𝑠)

SOLUCION:
a) 𝑉𝐹𝑉𝑉 Contingencia b) 𝐹𝑉𝑉𝑉𝐹𝐹𝑉𝑉 Contingencia
c) 𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉𝑉 Tautologia

2.- Determinar si las proposiciones: p ⇒ (r ∨∼ 𝑞) y (q⇒∼ 𝑝) ∨ (∼ 𝑟 ⇒∼ 𝑝) son equivalentes

SOLUCION:
𝑝 ⇒ (𝑟 ∨∼ 𝑞) ≡ (𝑞 ⇒∼ 𝑝) ∨ (∼ 𝑟 ⇒∼ 𝑝)

3.- Determine cuáles de la proposiciones son equivalentes i) Construyendo tablas de verdad ii) Utilizando
propiedades y leyes lógicas (simplificando) a) ∼(p⇒∼ q) b) ∼𝑝 ∧ 𝑞 c) ∼ (∼ 𝑞∨ 𝑝)
SOLUCION:
𝐹𝐹𝑉𝐹 ∼ 𝑝 ∧ 𝑞 ≡∼ (∼ 𝑞 ∨ 𝑝)

4.- Expresar las siguientes proposiciones de otra forma, utilizando únicamente los operadores “ “
(negación) e “⇒” (implicación)
a) (𝑝 ∧ 𝑞) ∨ (𝑟 ∨ 𝑠) b) (∼ 𝑝 ∧ 𝑞) ∧ 𝑟

SOLUCION:
a) (𝑝 ∧ 𝑞) ∨ (𝑟 ∨ 𝑠) ≡ ~(𝑝 ⇒ ~𝑞 ) ⇒ ~(~𝑟 ⇒ 𝑠)
b) (∼ 𝑝 ∧ 𝑞) ∧ 𝑟 ≡ ~[~(~𝑝 ⇒ ~𝑞 ) ⇒ ~𝑟]

5.- Sea el conjunto 𝐴 = {1,2, 3, 4,5} y las proposiciones: p: ∃𝑥 ∈ 𝐴 / (𝑥 + 3 = 10) ∧ (𝑥 + 7 < 10);
𝑞: ∀𝑥 ∈ 𝐴: 𝑥 + 1 ≤ 6 Hallar el valor de verdad de: ∼ [(𝑝 → 𝑞) ∨ (∼ 𝑞 ∧ 𝑝)]
SOLUCION:
𝜈 (𝑝) = 𝐹; 𝜈 (𝑞 ) = 𝑉
𝜈 {∼ [(𝑝 → 𝑞) ∨ (∼ 𝑞 ∧ 𝑝)]} = 𝐹

6.- Demostrar la regla de inferencia a) Silogismo hipotético b) Silogismo disyuntivo

SOLUCION:
Construir tablas de verdad de los polinomios booleanos

7.- Escribir el polinomio booleano y determinar la validez de los siguientes argumentos:

a) ”Ella se casa por amor o por dinero. Pero ella no se casa por dinero. Por tanto ella se casa por amor”

b) “El pueblo trabaja entonces el pueblo progresa; El pueblo no trabaja. Por tanto el pueblo no progresa”

12
ALGEBRA I (MAT 1100) Ing. JULIO MAMANI GUAYGUA
SOLUCION:
a) El razonamiento es valido

b) No se puede determinar la validez del razonamiento

8.- Hallar una proposición verdadera y otra falsa a partir del esquema proposicional:

𝐹(𝑥, 𝑦): ” 𝑥 2 + 𝑦 < 1” Conjunto universo 𝒰 = ℝ. Que representa geométricamente 𝐹(𝑥, 𝑦)

Sugerencia: Puede utilizar el asistente matemático: Derive, Graphmat o Geogebra para graficar 𝐹(𝑥, 𝑦)

SOLUCION:
Si: 𝑥 = 0; 𝑦 = 0 ⇒ 𝑝: 02 +0<1; 𝜈 (𝑝) = 𝑉
Si: 𝑥 = 1; 𝑦 = 2 ⇒ 𝑝: 12 +2<1; 𝜈 (𝑞 ) = 𝐹

9.- Hallar la proposición compuesta tal que la tabla de verdad sea:

p q ?
V V F
V F V
F V F
F F F
SOLUCION:
𝑝 ∧∼ 𝑞

10.- Se tiene la proposición: ∼ [(𝑝 ⇒ 𝑞 ) ∧ (𝑞 ∨ 𝑝)] a) Clasificar b) Construir el circuito lógico asociado c)
Simplificar la proposición y construir el circuito lógico asociado
d) Hallar el valor de verdad de: ∼ [(𝑝 ⇒ 𝑞 ) ∧ (𝑞 ∨ 𝑝)] si: p:”El cuadrado de todo numero entero negativo es
menor que cero” q: "log 2 65 − 1 = 5"
SOLUCION:
a) 𝑉𝑉𝑉𝐹 Contingencia b) c) ∼ [(𝑝 ⇒ 𝑞 ) ∧ (𝑞 ∨ 𝑝)] ≡ 𝑝 ∨ 𝑞
d) 𝜈{∼ [(𝑝 ⇒ 𝑞 ) ∧ (𝑞 ∨ 𝑝)]} = 𝐹

11.- Hallar el valor de verdad de las proposiciones 𝑝, 𝑞, 𝑟, 𝑠 sabiendo que: (~𝑝⋀𝑞 ) ⇒ (∼ 𝑟 ⇒ 𝑠) es falsa
SOLUCION:
𝜈 (𝑝) = 𝐹; 𝜈 (𝑞 ) = 𝑉 ; 𝜈(𝑟) = 𝐹 ; 𝜈 (𝑠) = 𝐹

13