ALGEBRA I MAT 1100 “H”

MAT 1100 “H”

ALGEBRA I
DOCENTE: M.Sc.Ing. RENE ANTEZANA GARCÍA
AUXILIAR: Univ. JULIO CESAR CHUNCHO POMA
HORARIO: MIÉRCOLES Y SÁBADOS HORAS 08:00-10:00

TEMAS:

1. Introducción
2. Proposiciones
3. Conjuntos
4. Relaciones
5. Funciones
6. Leyes de composición
7. Estructuras
8. Series: progresiones aritméticas, geométricas y armónicas
9. Logaritmos
10. Inducción matemática
11. Binomio de newton
12. Análisis combinatorio
13. Teoría de las ecuaciones
14. Propiedades de los coeficientes
15. Matrices y determinantes
16. Sistemas de ecuaciones
17. Números complejos

TEXTO:

 Algebra I; autor: Armando Rojo

 Algebra superior; autor: Hall and Knight

CALCIFICACIONES:

Practicas 25%
2 parciales 35%
Final 40%

NOTA: Todas las practicas deben entregarse los días sábados, quien no entrega en la fecha
indicada, quedan automáticamente eliminados.
 ALGEBRA I MAT 1100 “H”

1. INTRODUCCIÓN

Esta asignatura está dividida en dos partes la parte de lógica y la parte del álgebra clásica. Hasta el
capítulo 7 corresponde a la primera parte y la segunda parte a partir del capítulo 8.

Existe un capítulo suelto que debería estar en la primera parte números complejos, pero se
encuentra al final de todos los capítulos. Entonces iniciamos esta asignatura con la primera parte o
sea con lógica.

LÓGICA:

La lógica es una disciplina que trata de los métodos, modos y formas del razonamiento humano.

 La lógica ofrece reglas y técnicas para determinar si un argumento es válido o no.

 Una de las metas fundamentales de la lógica es eliminar las ambigüedades del lenguaje
ordinario, introduciendo símbolos y conectivos lógicos en la construcción de
proposiciones.

Las matemáticas son una extensión de la lógica, puede decirse desde un punto filosófico que:

“Las matemáticas son un lenguaje el lenguaje de la ciencia”

Un desarrollo matemático, exige razonamientos válidos, utilizando un lenguaje claro, precisándose

para ello el uso de símbolos y conectivos, que eviten ambigüedades, por ello se hace necesario
introducir los conceptos de PROPOSICIÓN, AXIOMA, TEOREMA, etc.

PROPOSICIONES:

Una proposición es una colección de palabras, números o símbolos, de los cuales tiene sentido el
afirmar si es verdadero o falso.

Todas las proposiciones estarán asociadas a un valor de verdad, el cual puede ser verdadero (V) o
falso(F). A las proposiciones que tienen un valor de verdad conocido (V o F) se los llama
enunciados.

Una proposición se representará por las letras: p, q, r, s, …, etc.

Ejemplos:

a) Son proposiciones las siguientes colecciones de palabras, números o símbolos.

𝑝: 𝐿𝑜𝑠 𝑙𝑖𝑏𝑟𝑜𝑠 𝑠𝑜𝑛 𝑏𝑢𝑒𝑛𝑜𝑠 𝑎𝑚𝑖𝑔𝑜𝑠 𝑑𝑒 (𝑽)

𝑞: 𝐿𝑜𝑠 𝑔𝑎𝑡𝑜𝑠 𝑙𝑎𝑑𝑟𝑎𝑛 (𝑭)
𝑠: 5 + 3 = 7 (𝑭)
𝑡: (+) ∗ (– 1) = (+) (𝑭)

b) Ejemplos de no proposiciones.
 𝐸𝑙 𝑝𝑒𝑟𝑟𝑜 𝑑𝑒 𝑚𝑖 𝑎𝑚𝑖𝑔𝑜.
 ¡ 𝐻𝑜𝑙𝑎, 𝑐ó𝑚𝑜 𝑒𝑠𝑡á𝑠!
 𝐸𝑙 𝑏𝑙𝑎𝑛𝑐𝑜 𝑑𝑒 𝑙𝑎𝑠 𝑛𝑢𝑏𝑒𝑠 𝑠𝑜𝑏𝑟𝑒 𝑒𝑙 𝑎𝑧𝑢𝑙 𝑑𝑒𝑙 𝑐𝑖𝑒𝑙𝑜.
 ALGEBRA I MAT 1100 “H”

 8+3−6
AXIOMAS:

Un axioma es una proposición evidente por sí misma. Todas las teorías matemáticas se inician
a partir de un grupo de axiomas escogidos.
TEOREMA:
Un teorema es una proposición que se puede demostrar; los teoremas se demuestran
mediante axiomas previamente establecidos. Una colección ordenada de teoremas a su vez
conforma una teoría.
Lo anterior se puede esquematizar como sigue:

TEORIA

TEOREMA TEOREMA TEOREMA

AXIOMAS

Se aprecia que la teoría se basa en los teoremas; los teoremas a su vez se basan en los
axiomas; los axiomas se basan en sí mismos, entonces se constituyen en los sostenes básicos
de toda estructura lógica.
PROPOSICIONES COMPUESTAS:
Las combinaciones de las proposiciones simples estudiadas mediante conectivos lógicos
conforman las proposiciones compuestas.
Los conectivos lógicos que se estudiaran se muestran en la siguiente tabla:

CONECTIVO OPERACIÓN ASOCIADA SIGNIFICADO

~ Negación No; no es cierto que
˄ Conjunción Y
˅ Disyunción inclusiva y/o; uno u otro o ambos
v̲ Disyunción exclusiva O; uno u otro pero no ambos
→ Condicional Sí…. entonces…
↔ Bicondicional si y sólo si
 ALGEBRA I MAT 1100 “H”

Las operaciones proposicionales, se definen a partir de una o dos proposiciones cuyos valores de
verdad se conocen caracterizando luego la proposición final o resultante, a través de su valor de
verdad.

Por lo tanto, el valor de verdad de una proposición compuesta, se determinará a partir del valor de
verdad de las proposiciones simples, y de acuerdo con el conectivo lógico que se emplee.

TABLAS DE VERDAD:

Una tabla de verdad es un arreglo ordenado de las posibilidades del valor de verdad de las
proposiciones simples o compuestas.

Las tablas de verdad permiten esquematizar en forma simple, las características del valor de
verdad de las proposiciones. El número total de filas de una tabla de verdad es:

2𝑛
Donde “n” es el número de proposiciones simples que se emplean en una proposición compuesta.

Ejemplos:

a) Una proposición p; n=1, entonces 2𝑛 = 21 = 2

N° p
1 V
2 F

b) Dos proposiciones p, q; n=2, entonces 2𝑛 = 22 = 4

N° p q
1 V V
2 V F
3 F V
4 F F

c) Tres proposiciones p, q, s; n=3, entonces 2𝑛 = 23 = 8

N° p q s
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F

d) Y así sucesivamente…
 ALGEBRA I MAT 1100 “H”

EQUIVALENCIA LÓGICA:

Dos proposiciones compuestas poseen equivalencia lógica, si sus tablas de verdad son idénticas.

La equivalencia lógica entre las proposiciones p, q se expresan mediante:

𝑝≡𝑞
El símbolo: “≡” se lee equivalente.

p, q pueden ser proposiciones simples o compuestas. Por tanto, para demostrar una equivalencia
lógica, se deben elaborar sus tablas de verdad, tanto de p como de q, si ambas son iguales en
resultados entonces:

𝑝≡𝑞 𝑜 𝑞≡𝑝
DEFINICIÓN DE CONECTIVOS:

LA NEGACIÓN “~”

La negación de una proposición p es la proposición ~p se obtiene anteponiendo el conectivo “~”

sobre p (~𝑝 𝑠𝑒 𝑙𝑒𝑒: 𝑛𝑜 𝑝; 𝑜 𝑡𝑎𝑚𝑏𝑖é𝑛: 𝑛𝑜 𝑒𝑠 𝑐𝑖𝑒𝑟𝑡𝑜 𝑞𝑢𝑒 𝑝).

Si una proposición es verdadera, su negación será falsa; si la proposición es falsa, su negación será
verdadera. La tabla de verdad de la negación es:

p ~p
V F
F V

Ejemplos:

a) Una proposición y su negación es la siguiente:

𝑝: 𝐸𝑠 𝑏𝑢𝑒𝑛𝑜 𝑒𝑙 𝑑𝑒𝑝𝑜𝑟𝑡𝑒 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑠𝑎𝑙𝑢𝑑

~𝑝: 𝑁𝑜 𝑒𝑠 𝑏𝑢𝑒𝑛𝑜 𝑒𝑙 𝑑𝑒𝑝𝑜𝑟𝑡𝑒 𝑝𝑎𝑟𝑎 𝑙𝑎 𝑠𝑎𝑙𝑢𝑑
b) Una proposición se puede negar de diferentes maneras:

𝑝: 𝑆𝑜𝑛 ℎ𝑒𝑟𝑚𝑜𝑠𝑎𝑠 𝑙𝑎𝑠 𝑓𝑙𝑜𝑟𝑒𝑠

~𝑝: 𝑁𝑜 𝑠𝑜𝑛 ℎ𝑒𝑟𝑚𝑜𝑠𝑎𝑠 𝑙𝑎𝑠 𝑓𝑙𝑜𝑟𝑒𝑠
~𝑝: 𝑁𝑜 𝑒𝑠 𝑐𝑖𝑒𝑟𝑡𝑜 𝑞𝑢𝑒 𝑠𝑜𝑛 ℎ𝑒𝑟𝑚𝑜𝑠𝑎𝑠 𝑙𝑎𝑠 𝑓𝑙𝑜𝑟𝑒𝑠
~𝑝: 𝑆𝑜𝑛 𝑓𝑒𝑎𝑠 𝑙𝑎𝑠 𝑓𝑙𝑜𝑟𝑒𝑠
c) Las proposiciones pueden negarse mediante símbolos adecuados, como ser:

𝑝: 𝑎 = 2
~𝑝: 𝑎 ≠ 2
 ALGEBRA I MAT 1100 “H”

 Una negación reiterada o doble negación es equivalente a la proposición original:

~(~𝑝) ≡ 𝑝
Ejemplo:

𝑝: 𝐿𝑎 𝑐ℎ𝑖𝑐𝑎 𝑒𝑠 𝑏𝑜𝑛𝑖𝑡𝑎
~𝑝: 𝐿𝑎 𝑐ℎ𝑖𝑐𝑎 𝑛𝑜 𝑒𝑠 𝑏𝑜𝑛𝑖𝑡𝑎
~(~𝑝): 𝑁𝑜 𝑒𝑠 𝑐𝑖𝑒𝑟𝑡𝑜 𝑞𝑢𝑒 𝑙𝑎 𝑐ℎ𝑖𝑐𝑎 𝑛𝑜 𝑒𝑠 𝑏𝑜𝑛𝑖𝑡𝑎

Su tabla de verdad con una proposición es: n = 1; número de posibilidades: 2𝑛 = 21 = 2

p ~p ~(~p)
V F V
F V F

LA CONJUNCIÓN “˄”

La conjunción de dos proposiciones p, q es una proposición compuesta, qué se obtiene

combinando p, q mediante el conectivo “˄” (𝑝 ˄ 𝑞 𝑠𝑒 𝑙𝑒𝑒: 𝑝 𝑦 𝑞).

El valor de verdad de la conjunción p ˄ q es verdadero, cuando tanto p como q son verdaderos, en

otro caso es falso.

La tabla de verdad de la conjunción es: n = 2; p, q; posibilidades: 2𝑛 = 22 = 4

p q p˄q
V V V
V F F
F V F
F F F

Ejemplo:

1) Estudiar Si la proposición compuesta es verdadera o falsa

𝑝: 𝐷𝑜𝑠 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (𝑉)

𝑞: 𝑇𝑟𝑒𝑠 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 (𝐹)
𝑝˄𝑞
𝑉˄𝐹
𝐹
2) 𝑝 ˄ 𝑞: ⏟
𝐸𝑛 𝑖𝑛𝑣𝑖𝑒𝑟𝑛𝑜 ℎ𝑎𝑐𝑒 𝑓𝑟í𝑜 𝑦 ⏟
(4 + 3 ≠ 5)
𝑝 𝑞

𝑝˄𝑞
𝑉˄𝑉
𝑉
 ALGEBRA I MAT 1100 “H”

Ejemplo:

Determinar las proposiciones simples a partir de una conjunción:

𝑝 ∧ 𝑞: ⏟
𝑙𝑎𝑠 𝑝𝑎𝑟𝑒𝑑𝑒𝑠 𝑠𝑜𝑛 𝑏𝑙𝑎𝑛𝑐𝑎𝑠 ⏟
𝑦 𝑙⏟
𝑎𝑠 𝑝𝑢𝑒𝑟𝑡𝑎𝑠 𝑟𝑜𝑗𝑎𝑠
𝑝 ∧ 𝑞

Otro:
(2 > 5) ⏟
𝑝 ∧ 𝑞: ⏟ ∧⏟(2 ≠ 3)
𝑝 ∧ 𝑞

Determinar el valor de verdad de las siguientes proposiciones compuestas:

a) 𝑝 ∧ 𝑞: ⏟
𝑑𝑜𝑠 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 ⏟
𝑦 ⏟
𝑡𝑟𝑒𝑠 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑝𝑎𝑟
𝑝 ∧ 𝑞

V y F
𝑉∧𝐹 ≡𝑉
b) 𝑝 ∧ 𝑞: ⏟
𝐸𝑛 𝑖𝑛𝑣𝑖𝑒𝑟𝑛𝑜 ℎ𝑎𝑐𝑒 𝑓𝑟𝑖𝑜 ⏟
𝑦 ⏟
(4 + 3 ≠ 5)
𝑝 ∧ 𝑞
V y V
𝑉∧𝑉 ≡𝑉
c) Con las proposiciones p: Es verano; q: Hace calor, escribir simbólicamente:
i. No es verano y hace calor: ∼ 𝑝 ∧ 𝑞
ii. No es verano y hace frio: ∼ 𝑝 ∧∼ 𝑞

DISYUNCIÓN INCLUSIVA “˅”

La disyunción inclusiva de dos proposiciones: p, q, es una proposición compuesta, que se obtiene

combinando p, q mediante el conectivo “˅”, (𝑝 ˅ 𝑞 𝑠𝑒 𝑙𝑒𝑒: 𝑝 𝑜 𝑞).

Este conectivo ∨ se usa también como uno u otro o ambos. Por tanto, se entenderá 𝑝 ∨
𝑞 𝑐𝑜𝑚𝑜: 𝑝 𝑜 𝑞 o ambos a la vez.

El valor de verdad de la disyunción inclusiva: 𝑝 ˅ 𝑞 es falso si son falsas las dos proposiciones,
siendo verdadero en cualquier otro caso.

La tabla de verdad de la disyunción inclusiva es: p, q: n=2 o sea 2𝑛 = 22 = 4 posibilidades

N° p q 𝒑∨𝒒
1 V V V
2 V F V
3 F V V
4 F F F
Ejemplos:

i. Se forma una disyunción inclusiva a partir de dos proposiciones simples:

𝑝: 𝑙𝑎𝑠 𝑟𝑜𝑠𝑎𝑠 𝑠𝑜𝑛 𝑟𝑜𝑗𝑎𝑠

 ALGEBRA I MAT 1100 “H”

𝑞: 𝑙𝑜𝑠 𝑙𝑖𝑟𝑖𝑜𝑠 𝑠𝑜𝑛 𝑏𝑙𝑎𝑛𝑐𝑜𝑠

𝑝 ∨ 𝑞: ⏟
𝑙𝑎𝑠 𝑟𝑜𝑠𝑎𝑠 𝑠𝑜𝑛 𝑟𝑜𝑗𝑎𝑠 ⏟
𝑜 ⏟
𝑙𝑜𝑠 𝑙𝑖𝑟𝑖𝑜𝑠 𝑠𝑜𝑛 𝑏𝑙𝑎𝑛𝑐𝑜𝑠
𝑝 ∨ 𝑞
ii. Determinar el valor de verdad de las siguientes disyunciones inclusivas:

𝑝 ∨ 𝑞: ⏟
𝑙𝑎𝑠 𝑎𝑣𝑒𝑠 𝑣𝑢𝑒𝑙𝑎𝑛 ⏟
𝑜 ⏟
𝑙𝑜𝑠 𝑝𝑒𝑐𝑒𝑠 𝑐𝑎𝑚𝑖𝑛𝑎𝑛
𝑉 ∨ 𝐹

𝑉∨𝐹 ≡𝑉
iii. 𝑝 ∨ 𝑞: ⏟ 𝑜 (3
𝐸𝑙 𝑎𝑙𝑐𝑜ℎ𝑜𝑙 𝑒𝑛𝑛𝑜𝑏𝑙𝑒𝑐𝑒 ⏟ ⏟ ≠ 2 + 1)
𝑝 ∨ 𝑞
𝐹 𝑜 𝐹
𝐹∨𝐹 ≡𝐹
DISYUNCIÓN EXCLUSIVA “v”̲

La disyunción exclusiva de dos proposiciones p, q es una proposición compuesta que se obtiene

combinando p, q con el conectivo “v̲”, (p v̲ q se lee: p o q).

Se entenderá: p v̲ q como p o q, pero no ambos a la vez.

El valor de verdad de la disyunción exclusiva: p v̲ q es falso si los valores de verdad de p, q son

iguales entre si. Es verdadero si los valores de verdad de p, q son diferentes entre si.

La tabla de verdad de la disyunción exclusiva es: p, q: n=2: 2𝑛 = 22 = 4 posibilidades

N° p q 𝒑˅𝒒
1 V V F
2 V F V
3 F V V
4 F F F
Ejemplo: 𝐻𝑜𝑦
⏟ 𝑒𝑠 𝑚𝑎𝑟𝑡𝑒𝑠 ⏟
𝑜 𝑚𝑎ñ𝑎𝑛𝑎
⏟ 𝑒𝑠 𝑗𝑢𝑒𝑣𝑒𝑠
𝑝 ˅ 𝑞

𝑝 v̲ 𝑞
Ejemplo: Determinar el valor de verdad de las siguientes disyunciones exclusivas:

a) ⏟
𝐷𝑜𝑠 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑒𝑛𝑡𝑒𝑟𝑜 ⏟
𝑜 𝑓𝑟𝑎𝑐𝑐𝑖𝑜𝑛𝑎𝑟𝑖𝑜
⏟
𝑝 ˅ 𝑞

𝑝 v̲ 𝑞 ∶ 𝑉 v̲ 𝐹 ≡ 𝑉

b) 𝑝 v̲ 𝑞: ⏟
(𝑎 + 𝑎 = 2𝑎) ⏟
𝑜 ⏟
(𝑎 − 𝑎 = 0)
𝑝 ˅ 𝑞
V V
𝑉 v̲ 𝑉 ≡ 𝐹
Otro ejemplo:
 ALGEBRA I MAT 1100 “H”

Para que la proposición compuesta sea verdadera, indicar si el “o” que se emplea es inclusivo o
exclusivo:

i. ¿Él bebe fue hombre o mujer?

p: Él bebe fue hombre

q: Él bebe fue mujer

ii. ¿Te regalare rosas o violetas?

p: te regalare rosas

q: te regalare violetas

EL CONDICIONAL “→”
El condicional de dos proposiciones p, q es una proposición compuesta que se obtiene
combinando p, q mediante el conectivo “→”, (p→q se lee: si p entonces q).
Al condicional se lo llama también implicación: p→q que se lee: p implica q.
El valor de verdad del condicional: p→q es falso cuando p es verdadero y q es falso, siendo
verdadero en cualquier otro caso.
La tabla de verdad del condicional es: p, q: n=2: 2𝑛 = 22 = 4 posibilidades.

N° p q 𝒑 → 𝒒
1 V V V
2 V F F
3 F V V
4 F F V
Ejemplos: Conformar un condicional a partir de dos proposiciones simples:

a) 𝑝: 𝐻𝑎𝑐𝑒 𝑓𝑟𝑖𝑜
𝑞: 𝐸𝑠 𝑖𝑛𝑣𝑖𝑒𝑟𝑛𝑜
𝑝 → 𝑞: 𝑆𝑖 ℎ𝑎𝑐𝑒 𝑓𝑟𝑖𝑜 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠 𝑖𝑛𝑣𝑖𝑒𝑟𝑛𝑜
b) determinar el valor de verdad de los siguientes condicionales:
i. 𝑝 → 𝑞: ⏟𝑆𝑖 3 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠
⏟ 5 𝑒𝑠 𝑝𝑎𝑟
⏟
𝑝 → 𝑞
𝑉 → 𝐹
(𝑉 → 𝐹) ≡ 𝐹

ii. 𝑝 → 𝑞: ⏟
𝑆𝑖 𝑙𝑎𝑠 𝑎𝑣𝑒𝑠 𝑣𝑢𝑒𝑙𝑎𝑛 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠
⏟ (2𝑎 + 3𝑎 = 5𝑎)
⏟
𝑝 → 𝑞
𝑉 → 𝑉
(𝑉 → 𝑉) ≡ 𝑉

1) El condicional puede expresarse como: 𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞

2) A su vez su negación se expresa por: ∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞
 ALGEBRA I MAT 1100 “H”

La demostración de estas equivalencias se puede hacer mediante sus tablas de verdad:

Para 1) 𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞

Son dos proposiciones p, q: n=2, 2𝑛 = 22 = 4

p q 𝒑→𝒒
V V V
V F F
F V V
F F V
También:

p q ∼𝒑 𝒑∨𝒒
V V F V
V F F F
F V V V
F F V V

(𝑝 → 𝑞) ≡ (∼ 𝑝 ∨ 𝑞)
Para 2) ∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞

p q 𝒑→𝒒 ∼ (𝒑 → 𝒒)
V V V F
V F F V
F V V F
F F V F
También:

p q ∼𝒒 𝒑 ∧∼ 𝒒
V V F F
V F V V
F V F F
F F V F

∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞
Ejemplo:

𝑝 → 𝑞: 𝑆𝑖 𝑒𝑙 𝑡𝑟𝑎𝑏𝑎𝑗𝑜 𝑑𝑎 𝑠𝑎𝑙𝑢𝑑 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑙𝑜𝑠 𝑒𝑛𝑓𝑒𝑟𝑚𝑜𝑠 𝑑𝑒𝑏𝑒𝑛 𝑡𝑟𝑎𝑏𝑎𝑗𝑎𝑟.

∼ 𝑝 ∨ 𝑞: 𝐸𝑙 𝑡𝑟𝑎𝑏𝑎𝑗𝑜 𝑛𝑜 𝑑𝑎 𝑠𝑎𝑙𝑢𝑑 𝑜 𝑙𝑜𝑠 𝑒𝑛𝑓𝑒𝑟𝑚𝑜𝑠 𝑑𝑒𝑏𝑒𝑛 𝑡𝑟𝑎𝑏𝑎𝑗𝑎𝑟.

EL BICONDICIONAL “↔”

El bicondicional de dos proposiciones p, q es una proposición compuesta que se obtiene

combinando p, q mediante el conectivo “↔” (p↔q se lee: p si y solo si q).
 ALGEBRA I MAT 1100 “H”

La proposición compuesta bicondicional es verdadera si los valores de verdad de p, q son iguales

entre sí, en otro caso es falso.

La tabla de verdad del bicondicional es: p, q: n=2 ; 2𝑛 = 22 = 4 posibilidades

N° p q 𝒑↔𝒒
1 V V V
2 V F F
3 F V F
4 F F V
Ejemplos

a) Conformar un bicondicional a partir de dos proposiciones simples:

𝑝: 𝐽𝑢𝑎𝑛 𝑝𝑎𝑠𝑒𝑎
𝑞: 𝑛𝑜 𝑙𝑙𝑢𝑒𝑣𝑒

𝑝 ↔ 𝐽𝑢𝑎𝑛 𝑝𝑎𝑠𝑒𝑎 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑛𝑜 𝑙𝑙𝑢𝑒𝑣𝑒

b) Determinar las proposiciones simples a partir de un bicondicional

𝑝 ↔ 𝑞: 𝑇𝑒 𝑎𝑐𝑒𝑝𝑡𝑜 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑡𝑖𝑒𝑛𝑒𝑠 𝑑𝑖𝑛𝑒𝑟𝑜

𝑝: 𝑡𝑒 𝑎𝑐𝑒𝑝𝑡𝑜
𝑞: 𝑡𝑖𝑒𝑛𝑒𝑠 𝑑𝑖𝑛𝑒𝑟𝑜
c) Hallar el valor de verdad del siguiente bicondicional

𝑝 ↔ 𝑞: ⏟
𝑠𝑒𝑖𝑠 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 ⏟
𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑒𝑠 ⏟
𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 𝑑𝑜𝑠
𝑝 ↔ 𝑞

𝐹 V

𝐹↔𝑉≡𝐹
El bicondicional también puede expresarse en términos de los condicionales:

𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)

La negación del bicondicional es equivalente al “o” exclusivo:

~(𝑝 ↔ 𝑞) ≡ 𝑝 v̲ 𝑞
Otro ejemplo:

Con las proposiciones p: El tonto sueña

𝑞: (𝑎 + 𝑏 = 𝑎𝑏)
Escribir las siguientes proposiciones compuestas en forma simbólica:
a) El tonto sueña si y solo si (𝑎 + 𝑏 ≠ 𝑎𝑏): 𝑝 ↔ ~𝑞
b) (𝑎 + 𝑏 = 𝑎𝑏) si y solo si el tonto no sueña 𝑞 ↔ ~𝑝
 ALGEBRA I MAT 1100 “H”

c) Si el tonto sueña entonces (𝑎 + 𝑏 = 𝑎𝑏) y si (𝑎 + 𝑏 = 𝑎𝑏) entonces el tonto sueña:

(𝑝 → 𝑞) ∧ (𝑞 → 𝑝) ≡ 𝑝 ↔ 𝑞

* Ejercicios 1-17 hasta 1-21: Armando Rojo I Texto

Para determinar el valor de verdad de cualquier proposición compuesta es siempre conveniente

recurrir a una tabla de verdad.

Para elaborar tablas de verdad de proposiciones compuestas que presenten alguna complejidad,
existen dos procedimientos generales:

a) El primer procedimiento consiste en escribir todas las posibilidades de las proposiciones

simples, determinando luego los valores de verdad de cada operación, para en forma
paulatina llegar a la operación final.
b) El segundo procedimiento (simplificado) consiste en que luego de anotar todas las
posibilidades de las proposiciones simples, se escribe debajo de cada operación
proposicional el valor de verdad correspondiente.

El número total de filas de una tabla de verdad es 2n, donde n es el número de proposiciones
simples que se emplean en la proposición compuesta.

Ejemplo: elaborar la tabla de verdad de (𝑝 ∧ 𝑞) ∨ 𝑝 por los dos procedimientos

p, q: n=2, 2𝑛 = 22 = 4 filas

a)

p q 𝒑∧𝒒 p (𝒑 ∧ 𝒒) ∨ 𝒑
V V V V V
V F F V V
F V F F F
F F F F F

b)

(𝒑 ∧ 𝒒) ∨ 𝒑
V V V V V
V F F V V
F F V F F
F F F F F
 ALGEBRA I MAT 1100 “H”

Otro ejemplo: Determinar la tabla de verdad de la proposición compuesta por los dos
procedimientos: (𝑝 ∨ 𝑞) → (~𝑞)

a) p, q: n=2, 2𝑛 = 22 = 4 filas

p q 𝒑∨𝒒 ∼𝒒 (𝒑 ∨ 𝒒) → (~𝒒)
V V V F F
V F V V V
F V V F F
F F F V V

b)

(𝒑 ∨ 𝒒) → (~𝒒)
V V V V V
V F F V V
F F V F F
F F F F F

DEMOSTRACIONES DE EQUIVALENCIAS LÓGICAS:

Las tablas de verdad permiten demostrar la equivalencia lógica de proposiciones simples o

compuestos, cuando los resultados obtenidos son idénticos.

Ejemplo: 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝

p, q: n=2: 2𝑛 = 22 = 4

p q 𝒑∨𝒒 𝒑 ∧ (𝒑 ∨ 𝒒) ≡ p
V V V V V
V F V V V
≡
F V V F F
F F F F F

Otro ejemplo:

(𝒑 ∧ ∼ 𝒒) ≡ ∼ (𝒑 → 𝒒)
V F F F V V V
V V V V V F F
≡
F F F F F V V
F F V F F V F
 ALGEBRA I MAT 1100 “H”

Otro ejemplo:

(𝒑 → 𝒒) ≡ ∼ 𝒑 ∨ 𝒒
V V V F V V
V F F F F F
≡
F V V V V V
F V F V V F

ALGEBRA DE PROPOSICIONES:

El álgebra de proposiciones es un álgebra que se ejecuta con las operaciones proposicionales antes
indicadas.

Se cumplen los siguientes teoremas.

TEOREMAS
T1) IDEMPOTENCIA 𝑝˄𝑝 ≡𝑝
𝑝˅𝑝 ≡𝑝
T2) CONMUTATIVIDAD 𝑝˄𝑞 ≡𝑞˄𝑝
𝑝˅𝑞 ≡𝑞˅𝑝
T3) ASOCIATIVIDAD (p ˄ q) ˄ r ≡ p ˄ (q ˄ r)
(p ˅ q) ˅ r ≡ p ˅ (q ˅ r)
T4) DISTRIBUTIVIDAD p ˄ (q ˅ r) ≡ (p ˄ q) ˅ (p ˄ r)
p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r)
T5) DE MORGAN ~(𝑝 ˄ 𝑞) ≡ ~𝑝 ˅ ~𝑞
~(𝑝 ˅ 𝑞) ≡ ~𝑝 ˄ ~𝑞
T6) IDENTIDAD 𝑝˄𝑉 ≡ 𝑝
𝑝˅𝐹 ≡ 𝑝
T7) ABSORCIÓN 𝑝˄𝐹 ≡ 𝐹
𝑝˅𝑉 ≡ 𝑉
T8) COMPLEMENTACIÓN 𝑝 ˄ ~𝑝 ≡ 𝐹
𝑝 ˅ ~𝑝 ≡ 𝑉
~(~𝑝) ≡ 𝑝
~𝑉 ≡ 𝐹
~𝐹 ≡ 𝑉

Ejemplos: Demostrar el siguiente teorema

T1)

𝒑 ˄ 𝒑 ≡ 𝒑
V V V V
≡
F F F F

𝒑 ˅ 𝒑 ≡ 𝒑
V V V V
≡
F F F F
 ALGEBRA I MAT 1100 “H”

Utilizando los teoremas del álgebra de proposiciones, simplificar las siguientes proposiciones
compuestas:

a) ∼ 𝑝 ˄ (𝑝 ˅ 𝑞)

∼ 𝑝 ˄ (𝑝 ˅ 𝑞) ≡ (∼ 𝑝 ˄ 𝑝)˅(∼ 𝑝 ˄ 𝑞) Por T4
≡ (𝐹)˅(∼ 𝑝 ˄ 𝑞) Por T8
≡∼ 𝑝 ˄ 𝑞 Por T6

b) ∼ (𝑝 ˄ ∼ 𝑞) ˄ 𝑝

∼ (𝑝 ˄ ∼ 𝑞) ˄ 𝑝 ≡ [(∼ 𝑝 ˅ ∼ (∼ 𝑞)] ˄ 𝑝 Por T5

≡ (∼ 𝑝 ˅ 𝑞) ˄ 𝑝 Por T8
≡ 𝑝 ˄ (∼ 𝑝 ˅ 𝑞) Por T2
≡ (𝑝 ˄ ∼ 𝑝) ˅ (𝑝 ˄ 𝑞) Por T4
≡ (𝐹) ˅ (𝑝 ˄ 𝑞) Por T8
≡𝑝˄𝑞 Por T6

c) 𝑝 ˅ (𝑝 ˄ 𝑞)

𝑝 ˅ (𝑝 ˄ 𝑞) ≡ (𝑝 ˄ 𝑉) ˅ (𝑝 ˄ 𝑞) Por T6
≡ 𝑝 ˄ (𝑉 ˅ 𝑞) Por T4
≡𝑝˄𝑉 Por T4
≡𝑝

d) (𝑝 → 𝑞) ˅(𝑝 ˅ 𝑞)

(𝑝 → 𝑞) ˅ (𝑝 ˅ 𝑞) ≡ (𝑝 → 𝑞) ˅ (𝑝 ˅ 𝑞) Sabemos que: 𝑝 → 𝑞 ≡∼ 𝑝 ˅ 𝑞
≡ (∼ 𝑝 ˅ 𝑞) ˅ (𝑝 ˅ 𝑞) Por T3
≡ (𝑞 ˅ 𝑞) ˅ (∼ 𝑝 ˅ 𝑝) Por T1 y T8
≡𝑞˅𝑉 Por T7
≡𝑉

e) 𝑝 ˄ (𝑝 → 𝑞)

𝑝 ˄ (𝑝 → 𝑞) Resolver

TAUTOLOGÍAS Y CONTRADICCIONES:

Una tautología es aquella proposición compuesta que es verdadera, para cualquier valor de
verdad de sus proposiciones componentes.

Una contradicción es una proposición compuesta que es falsa para cualquier valor de verdad de
sus proposiciones componentes.

Ejemplo: Estudiar si las siguientes proposiciones compuestas constituyen una tautología o una
contradicción
 ALGEBRA I MAT 1100 “H”

a) (𝑝 ˄ 𝑞) → 𝑞

𝒑 𝒒 𝒑 ˄ 𝒒 (𝒑 ˄ 𝒒) → 𝒒
V V V V
V F F V
F V F V
F F F V
Cómo se obtiene verdadero (V) en todos los casos se trata de una tautología

b) ∼ 𝑝 ˄ (𝑝 ˄ 𝑞)

𝒑 𝒒 ∼ 𝒑 𝒑 ˄ 𝒒 ∼ 𝒑 ˄ (𝒑 ˄ 𝒒)
V V F V F
V F F F F
F V V F F
F F V F F
Cómo se obtiene falso (F) en todos los casos se trata de una contradicción

Ejercicios: indicar si las siguientes proposiciones son tautologías y contradicciones

a)

𝒑 𝒒 𝒑˄𝒒 ∼ (𝒑 ˄ 𝒒) 𝒑 ˅ ∼ (𝒑 ˄ 𝒒)
V V V F V
V F F V V
F V F V V
F F F V V
Es una tautología

b)

(𝒑 ˅ 𝒒) ˄ (𝒑 ⟷ 𝒒)
V F V F V V V
V V F F V F F
F V V F F F V
F F F F F V F
Es una contradicción

RAZONAMIENTOS:

Un razonamiento es una afirmación de que determinada proposición (la conclusión: Q), es una
conclusión de otras proposiciones (las premisas: 𝑃1 , 𝑃2 , 𝑃3 , … , 𝑃𝑖 ).

La notación usual para un razonamiento es:

𝑃1 , 𝑃2 , 𝑃3 , … , 𝑃𝑖 ⊢ 𝑄
 ALGEBRA I MAT 1100 “H”

Un razonamiento es válido, si y sólo si, la conjunción de dos premisas implica la conclusión. Por
tanto, debe obtenerse una tautología en:

𝑃1 ˄ 𝑃2 ˄ 𝑃3 , … , 𝑃𝑖 ⟶ 𝑄
A los razonamientos se los llama también argumentó, a los razonamientos válidos se los llama
reglas de inferencia y a los no válidos se los llama falacia.

Un razonamiento no es verdadero y falso, únicamente puede ser válido o no válido

independientemente de los valores de verdad de sus premisas y conclusión.

Ejemplo: Analizar la validez del siguiente razonamiento

𝑝⏟→ 𝑞 , ⏟
𝑝 ⊢⏟
𝑞
𝑃1 𝑃2 𝑄

Entonces: [(𝑝 → 𝑞) ˄ 𝑝] → 𝑞

𝒑 𝒒 (𝒑 → 𝒒) [(𝒑 → 𝒒) ˄ 𝒑] [(𝒑 → 𝒒) ˄ 𝒑] → 𝒒
V V V V V
V F F F V
F V F F V
F F F F V
Este razonamiento es una tautología o razonamiento válido o regla de inferencia

Ejemplo: Analizar si el siguiente razonamiento es válido

𝑝˅𝑞, ⏟
⏟ 𝑞 ⊢⏟
𝑝
𝑃1 𝑃2 𝑄

𝒑 𝒒 𝒑 ˅ 𝒒 [(𝒑 ˅ 𝒒) ˄ 𝒒] [(𝒑 ˅ 𝒒) ˄ 𝒒] → 𝒑
V V V V V
V F V F V
F V V V F
F F F F V
No es una tautología, no es un razonamiento válido, es una falacia

Ejemplo: Analizar la validez del siguiente razonamiento

𝑝⏟→ 𝑞 , ∼
⏟ 𝑞 ⊢∼
⏟ 𝑝
𝑃1 𝑃2 𝑄

𝒑 ∼𝒑 𝒒 ∼𝒒 𝒑→𝒒 [(𝒑 → 𝒒) ˄ ∼ 𝒒] [(𝒑 → 𝒒) ˄ ∼ 𝒒] →∼ 𝒑

V F V F V F V
V F F V F F V
F V V F V F V
F V F V V V V
 ALGEBRA I MAT 1100 “H”

LAS PRINCIPALES REGLAS DE INFERENCIA SON:

REGLAS DE INFERENCIA
MODUS PONENDO PONENS 𝑝 → 𝑞, 𝑝 ⊢ 𝑞
LA DOBLE NEGACIÓN ~(~𝑝) ⊢ 𝑝
MODUS TOLLENDO TOLLENS 𝑝 → 𝑞, ~𝑞 ⊢ ~𝑝
LA ADJUNCIÓN 𝑝, 𝑞 ⊢ 𝑝 ˄ 𝑞
LA SIMPLIFICACIÓN 𝑝˄𝑞 ⊢𝑞
𝑝˄𝑞 ⊢𝑝
MODUS TOLLENDO PONENS 𝑝 ˅ 𝑞, ~𝑝 ⊢ 𝑞
𝑝 ˅ 𝑞, ~𝑞 ⊢ 𝑝
LEY DE ADICIÓN 𝑝 ⊢𝑝˅𝑞
𝑝⊢𝑝˅𝑟
LEY DEL SILOGISMO HIPOTÉTICO 𝑝 → 𝑞, 𝑞 → 𝑟 ⊢ 𝑝 → 𝑟
LEY DEL SILOGISMO DISYUNTIVO 𝑝 ˅ 𝑞, 𝑝 → 𝑟, 𝑞 → 𝑠 ⊢ 𝑟 ˅ 𝑠
LEY DE SIMPLIFICACIÓN DISYUNTIVA 𝑝˅𝑝⊢𝑝
LEYES CONMUTATIVAS 𝑝˄𝑞 ⊢𝑞˄𝑝
𝑝˅𝑞 ⊢𝑞˅𝑝
LEY DE MORGAN ~𝑝 ˄ ~𝑞 ⊢ ~(𝑝 ˅ 𝑞)
~𝑝 ˅ ~𝑞 ⊢ ~(𝑝 ˄ 𝑞)

La ley del modus ponendo ponens Y la ley del modus tollendo tollens fueron demostrados como
razonamientos válidos anteriormente.

De modo similar se puede demostrar la validez de las otras leyes o reglas de inferencia.

Otra anotación para los razonamientos, consiste en colocar en columna las premisas para luego
tras una línea punteada colocar la conclusión, que tú el As aspecto resulta resultado.

Para el caso del modus ponendo ponens, la notación sería:

𝑝 → 𝑞 Premisa
𝑝 Premisa
----------
𝑞 Conclusión

Ejemplificando la ley del modus ponendo ponens, con las proposiciones 𝑝, 𝑞:

𝑝: 𝐿𝑢𝑖𝑠 𝑒𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑜𝑠𝑜
𝑞: 𝐿𝑢𝑖𝑠 𝑎𝑝𝑟𝑜𝑏𝑎𝑟á 𝑀𝐴𝑇 1100

𝑝 → 𝑞: 𝑆𝑖 𝐿𝑢𝑖𝑠 𝑒𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑜𝑠𝑜 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎𝑝𝑟𝑜𝑏𝑎𝑟á 𝑀𝐴𝑇 1100

𝑝: 𝐿𝑢𝑖𝑠 𝑒𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑜𝑠𝑜
----------------------------------------------------------------------------------
𝑞: 𝐿𝑢𝑖𝑠 𝑎𝑝𝑟𝑜𝑏𝑎𝑟á 𝑀𝐴𝑇 1100
 ALGEBRA I MAT 1100 “H”

El razonamiento es válido según se demostró anteriormente, dónde se obtuvo una tautología al

desarrollar la tabla de verdad de: [(𝑝 → 𝑞) ˄ 𝑝] → 𝑞

Otro ejemplo:

Ejemplificando el modus tollendo tollens, 𝑝𝑞 con las siguientes proposiciones

𝑝: 𝐸𝑙 ℎ𝑜𝑚𝑏𝑟𝑒 𝐿𝑒𝑒
𝑞: 𝐸𝑙 ℎ𝑜𝑚𝑏𝑟𝑒 𝑒𝑠 𝑐𝑢𝑙𝑡𝑜

𝑝 → 𝑞: 𝑆𝑖 𝑒𝑙 ℎ𝑜𝑚𝑏𝑟𝑒 𝐿𝑒𝑒 𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠 𝑐𝑢𝑙𝑡𝑜

~𝑞: 𝐸𝑙 ℎ𝑜𝑚𝑏𝑟𝑒 𝑛𝑜 𝑒𝑠 𝑐𝑢𝑙𝑡𝑜
------------------------------------------------------------
~𝑝: 𝐸𝑙 ℎ𝑜𝑚𝑏𝑟𝑒 𝑛𝑜 𝑙𝑒𝑒

Otro ejemplo: Ejemplificando el silogismo hipotético con las siguientes proposiciones p q r:

𝑝: 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑝𝑜𝑒𝑡𝑎
𝑞: 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑝𝑜𝑏𝑟𝑒
𝑟: 𝐽𝑢𝑎𝑛 𝑡𝑖𝑒𝑛𝑒 ℎ𝑎𝑚𝑏𝑟𝑒

𝑝 → 𝑞: 𝑆𝑖 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑝𝑜𝑒𝑡𝑎 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑝𝑜𝑏𝑟𝑒

𝑞 → 𝑟: 𝑆𝑖 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑝𝑜𝑏𝑟𝑒 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝐽𝑢𝑎𝑛 𝑡𝑖𝑒𝑛𝑒 ℎ𝑎𝑚𝑏𝑟𝑒
---------------------------------------------------------------------------
𝑝 → 𝑟: 𝑆𝑖 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑝𝑜𝑒𝑡𝑎 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝐽𝑢𝑎𝑛 𝑡𝑖𝑒𝑛𝑒 ℎ𝑎𝑚𝑏𝑟𝑒

Otro ejemplo: Indicar si el siguiente razonamiento es válido o no es válido:

𝑇𝑖𝑒𝑛𝑒𝑠 𝑎𝑚𝑜𝑟 𝑦 𝑛𝑜 𝑒𝑠𝑡á𝑠 𝑓𝑒𝑙𝑖𝑧

𝑁𝑜 𝑡𝑖𝑒𝑛𝑒𝑠 𝑎𝑚𝑜𝑟
-----------------------------------------
𝐸𝑠𝑡á𝑠 𝑓𝑒𝑙𝑖𝑧

En el razonamiento indicado las proposiciones simples son:

𝑝: 𝑇𝑖𝑒𝑛𝑒𝑠 𝑎𝑚𝑜𝑟
𝑞: 𝐸𝑠𝑡á𝑠 𝑓𝑒𝑙𝑖𝑧
En forma simbólica el razonamiento está dado por las siguientes premisas y conclusión
correspondiente:

𝑝 ˄ ~𝑞: 𝑇𝑖𝑒𝑛𝑒𝑠 𝑎𝑚𝑜𝑟 𝑦 𝑛𝑜 𝑒𝑠𝑡á𝑠 𝑓𝑒𝑙𝑖𝑧

~𝑝: 𝑁𝑜 𝑡𝑖𝑒𝑛𝑒𝑠 𝑎𝑚𝑜𝑟
----------------------------------------------------
𝑞: 𝐸𝑠𝑡á𝑠 𝑓𝑒𝑙𝑖𝑧
 ALGEBRA I MAT 1100 “H”

Para verificar que el razonamiento es válido debe obtenerse una tautología en:

[(𝑝 ˄ ~𝑞) ˄ ~𝑝] → 𝑞

𝒑 ~𝒑 𝒒 ~𝒒 (𝒑 ˄ ~𝒒) [(𝒑 ˄ ~𝒒) ˄ ~𝒑] [(𝒑 ˄ ~𝒒) ˄ ~𝒑] → 𝒒

V F V F F F V
V F F V V F V
F V V F F F V
F V F V F F V
Es una tautología por tanto el razonamiento es válido.

Nota:

Usualmente para determinar si un razonamiento es o no válido, previamente se compara sus

formas simbólicas con los razonamientos válidos conocidos (reglas de inferencia), para saber si se
trata de uno de ellos, En tal caso obviamente se considera como válido.

Sin embargo, si el razonamiento dado no coincide con los conocidos, su forma simbólica deberá
llevarse a una tabla de verdad para estudiar si es una tautología o no. Si es válido, entonces un
razonamiento válido.

Otro ejemplo: Determinar si el siguiente razonamiento es válido o no:

𝑆𝑖 𝑒𝑙 𝑝𝑢𝑒𝑏𝑙𝑜 𝑡𝑟𝑎𝑏𝑎𝑗𝑎 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑝𝑟𝑜𝑔𝑟𝑒𝑠𝑎

𝐸𝑙 𝑝𝑢𝑒𝑏𝑙𝑜 𝑛𝑜 𝑡𝑟𝑎𝑏𝑎𝑗𝑎
---------------------------------------------------------
𝐸𝑙 𝑝𝑢𝑒𝑏𝑙𝑜 𝑛𝑜 𝑝𝑟𝑜𝑔𝑟𝑒𝑠𝑎

𝑝: 𝐸𝑙 𝑝𝑢𝑒𝑏𝑙𝑜 𝑡𝑟𝑎𝑏𝑎𝑗𝑎
𝑞: 𝐸𝑙 𝑝𝑢𝑒𝑏𝑙𝑜 𝑝𝑟𝑜𝑔𝑟𝑒𝑠𝑎

El razonamiento es: 𝑝 → 𝑞, ~𝑝 ⊢ ~𝑞

Estudiar la validez del razonamiento:

[(𝑝 → 𝑞) ˄ ~𝑝] → ~𝑞

𝒑 ~𝒑 𝒒 ~𝒒 (𝒑 → 𝒒) [(𝒑 → 𝒒) ˄ ~𝒑] [(𝒑 → 𝒒) ˄ ~𝒑] → ~𝒒

V F V F V F V
V F F V F F V
F V V F V V F
F V F V V V V
No se tiene una tautología, en entonces no es válido.

FUNCIONES PROPOSICIONALES:

Una función proposicional es una colección de palabras, números o símbolos que contienen una
variable x; esta colección se convierte en una proposición para un valor especificado de x.
 ALGEBRA I MAT 1100 “H”

La notación usual de una función proposicional es: P(x).

Ejemplo: Una función proposición y dos proposiciones que se obtienen a partir de la misma son:

𝑃(𝑥): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟; 𝐹𝑢𝑛𝑐𝑖ó𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒: 𝑥

𝑃(6): 6 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟; 𝐿𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑐𝑜𝑛 𝑥 = 6; 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛: 𝑉
𝑃(3): 3 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟; 𝐿𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑐𝑜𝑛 𝑥 = 3; 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛: 𝐹
Las funciones proposicionales pueden contener también dos o más variables:

𝑃(𝑥, 𝑦): 𝑥 𝑑𝑖𝑣𝑖𝑑𝑒 𝑎 𝑦; 𝐹𝑢𝑛𝑐𝑖ó𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙

𝑃(2,6): 2 𝑑𝑖𝑣𝑖𝑑𝑒 𝑎 6; 𝐸𝑠 𝑢𝑛𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛: 𝑉
Otro ejemplo:

𝑃(𝑥, 𝑦): 𝑥 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 𝑦; 𝐹𝑢𝑛𝑐𝑖ó𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙

𝑃(2,4): 2 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 4; 𝐸𝑠 𝑢𝑛𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛: 𝐹

CUANTIFICADORES:

A partir de funciones proposicionales se puede obtener proposiciones generales mediante un

proceso llamado de cuantificación. Para ello, introducimos los símbolos ∀ 𝑦 ∃, llamados
cuantificadores universal y existencial, respectivamente.

Los cuales asociados a la variable “x” expresan lo siguiente:

 ∀𝑥, para expresar: “Para todo x”, o “Cualquiera que sea x”

 ∃𝑥, para expresar: “Existe algún x, tal que” o “Que existe al menos un x, tal que”

Sí P(x) es siempre una proposición verdadera, para cualquiera que sea el objeto matemático que
sustituye a x, Entonces se podrá escribir:

∀𝑥: 𝑃(𝑥), 𝑠𝑒 𝑙𝑒𝑒 "𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥, 𝑠𝑒 𝑣𝑒𝑟𝑖𝑓𝑖𝑐𝑎 𝑃(𝑥)"

Sí P(x) es alguna vez una proposición verdadera, al sustituir x por al menos un cierto objeto
matemático, entonces se podrá escribir:

∃𝑥/𝑃(𝑥): 𝑠𝑒 𝑙𝑒𝑒 "𝑒𝑥𝑖𝑠𝑡𝑒 𝑥, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑠𝑒 𝑣𝑒𝑟𝑖𝑓𝑖𝑐𝑎 𝑃(𝑥)"

La negación de estas funciones proposicionales cuantificadas, para cada caso son:

~(∀𝑥: 𝑃(𝑥)) ≡ ∃𝑥/~𝑃(𝑥)

~(∃𝑥/𝑃(𝑥)) ≡ ∀𝑥: ~𝑃(𝑥)

Ejemplo: Una función proposicional y su cuantificación:

𝑃(𝑥): 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜

∀𝑥: 𝑃(𝑥) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥, 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜
 ALGEBRA I MAT 1100 “H”

∃𝑥/𝑃(𝑥) 𝑒𝑥𝑖𝑠𝑡𝑒 𝑥 𝑡𝑎𝑙 𝑞𝑢𝑒, 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜

Ejemplo: Llevar a notación simbólica una proposición, mediante cuantificadores, para luego
negarla:

𝑇𝑜𝑑𝑜 𝑒𝑙 𝑞𝑢𝑒 𝑝𝑒𝑟𝑠𝑒𝑣𝑒𝑟𝑎, 𝑡𝑟𝑖𝑢𝑛𝑓𝑎

𝑃(𝑥): 𝑥 𝑝𝑒𝑟𝑠𝑒𝑣𝑒𝑟𝑎
𝑄(𝑥): 𝑥 𝑡𝑟𝑖𝑢𝑛𝑓𝑎
∀𝑥: 𝑃(𝑥) → 𝑄(𝑥)
𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥: 𝑠𝑖 𝑥 𝑝𝑒𝑟𝑠𝑒𝑣𝑒𝑟𝑎 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑥 𝑡𝑟𝑖𝑢𝑛𝑓𝑎.
Negación:

~(∀𝑥: 𝑃(𝑥) → 𝑄(𝑥)) ≡ ∃𝑥/~(𝑃(𝑥) → 𝑄(𝑥))

Sabemos que: ~(𝑝 → 𝑞) ≡ 𝑝 ˄ ~𝑞

Entonces:

~(∀𝑥: 𝑃(𝑥) → 𝑄(𝑥)) ≡ ∃𝑥/𝑃(𝑥) ˄ ~𝑄(𝑥)

Literalmente:

Existe x tal que, x persevera y x no triunfa.

También: hay quienes perseveran y no triunfan.

Otro ejemplo:

Llevar a notación simbólica y luego negar la siguiente proposición:

𝑇𝑜𝑑𝑜 𝑗𝑜𝑣𝑒𝑛 𝑒𝑠 𝑓𝑒𝑙𝑖𝑧

𝑃(𝑥): 𝑥 𝑒𝑠 𝑗𝑜𝑣𝑒𝑛
𝑄(𝑥): 𝑥 𝑒𝑠 𝑓𝑒𝑙𝑖𝑧
∀𝑥: 𝑃(𝑥) → 𝑄(𝑥) ≡ 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑥, 𝑠í 𝑥 𝑒𝑠 𝑗𝑜𝑣𝑒𝑛 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠 𝑓𝑒𝑙𝑖𝑧
~(∀𝑥: 𝑃(𝑥) → 𝑄(𝑥)) ≡ ∃𝑥/~(𝑃(𝑥) → 𝑄(𝑥))
~(∀𝑥: 𝑃(𝑥) → 𝑄(𝑥)) ≡ ∃𝑥/𝑃(𝑥) ˄ ~𝑄(𝑥)
Existe x, tal que x es joven y no es feliz

hay jóvenes infelices

 ALGEBRA I MAT 1100 “H”

CIRCUITOS LÓGICOS:

El valor de verdad de una proposición puede asociarse con el comportamiento de un circuito

eléctrico con interruptores.

Si la proposición: 𝑝 es el interruptor de un circuito; ~𝑝 también puede representarse por el mismo

interruptor. Llamando V (verdadero) al Estado que permite el paso de la corriente eléctrica.
Llamando F (falso) al Estado que no permite el paso de la corriente eléctrica.

Así: un circuito con su interruptor.

P es V; Estado: V; Hay paso de corriente

P es F; Estado: F; No hay paso de corriente

Usando dos o más interruptores, se puede asociar las operaciones proposicionales mediante,
diversas disposiciones del circuito; así:

1) 𝑝 ˄ 𝑞

p q

Conjunción: Debe cerrarse p y q para el paso de la corriente (conexión en serie AND)

p q p˄q
V V V Sólo aquí hay paso de corriente
V F F
F V F No hay paso de corriente
F F F

2) 𝑝 ˅ 𝑞

q
 ALGEBRA I MAT 1100 “H”

Disyunción inclusiva: basta que sólo P o sólo q se cierren para el paso de corriente (conexión en
paralelo OR)

p q 𝒑∨𝒒
V V V
V F V Hay paso de corriente
F V V
F F F No hay paso de corriente

3) 𝑝 → 𝑞

~p

𝒑 𝒒 𝒑→𝒒 ≡ 𝒑 𝒒 ~𝒑 ~𝒑 ∨ 𝒒
V V V V V F V Pasa corriente
V F F V F F F No pasa corriente
≡
F V V F V V V Pasa corriente
F F V F F V V Pasa corriente

4) 𝑝 v̲ 𝑞

p ~p

q ~q

Demostración:

𝑝 v̲ 𝑞 ≡ ~(𝑝 ↔ 𝑞)
𝑝 v̲ 𝑞 ≡ ~[(𝑝 → 𝑞) ˄ (𝑞 → 𝑝)]
𝑝 v̲ 𝑞 ≡ ~(𝑝 → 𝑞) ˅ ~(𝑞 → 𝑝)
𝑝 v̲ 𝑞 ≡ ~(~𝑝 ˅ 𝑞) ˅ ~(~𝑞 ˅ 𝑝)
𝑝 v̲ 𝑞 ≡ (𝑝 ˄ ~𝑞) ˅ (𝑞 ˄ ~𝑝)
𝑝 v̲ 𝑞 ≡ [(𝑝 ˄ ~𝑞) ˅ 𝑞] ˄ [(𝑝 ˄ ~𝑞) ˅ ~𝑝]
𝑝 v̲ 𝑞 ≡ (𝑝 ˅ 𝑞) ˄ ⏟
(~𝑞 ˅ 𝑞) ˄ ⏟(𝑝 ˅ ~𝑝) ˄ (~𝑞 ˅ ~𝑝)
𝑉 𝑉
𝑝 v̲ 𝑞 ≡ (𝑝 ˅ 𝑞) ˄ (~𝑞 ˅ ~𝑝)
 ALGEBRA I MAT 1100 “H”

5) 𝑝 ↔ 𝑞

p q

~p ~q

Demostración:

𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ˄ (𝑞 → 𝑝)
𝑝 ↔ 𝑞 ≡ (~𝑝 ˅ 𝑞) ˄ (~𝑞 ˅ 𝑝)
𝑝 ↔ 𝑞 ≡ [(~𝑝 ˅ 𝑞) ˄ ~𝑞] ˅ [(~𝑝 ˅ 𝑞) ˄ 𝑝]
𝑝 ↔ 𝑞 ≡ [(~𝑝 ˄ ~𝑞) ˅ (𝑞 ˄ ~𝑞)] ˅ [(~𝑝 ˄ 𝑝) ˅ (𝑞 ˄ 𝑝)]
𝑝 ↔ 𝑞 ≡ [(~𝑝 ˄ ~𝑞) ˅ 𝐹] ˅ [𝐹 ˅ (𝑞 ˄ 𝑝)]
𝑝 ↔ 𝑞 ≡ (~𝑝 ˄ ~𝑞) ˅ (𝑞 ˄ 𝑝)
𝑝 ↔ 𝑞 ≡ (𝑞 ˄ 𝑝) ˅ (~𝑝 ˄ ~𝑞)
𝑝 ↔ 𝑞 ≡ (𝑝 ˄ 𝑞) ˅ (~𝑝 ˄ ~𝑞)

Ejemplos:

Mediante circuitos lógicos esquematizar las siguientes proposiciones:

a) 𝑝 ˄ (𝑞 ˅ 𝑟)

b) ~𝑝 ˄ (𝑝 ˅ 𝑞) ≡ ~𝑝 ˄ q

~p q

Ejemplo:

Obtener la proposición correspondiente al siguiente circuito y simplificar:

q
r
~p

p ~q
 ALGEBRA I MAT 1100 “H”

En primer lugar, se determina la proposición correspondiente al circuito dado, este es:

𝑞 𝑦 ~𝑝 𝑒𝑠𝑡á𝑛 𝑐𝑜𝑛𝑒𝑐𝑡𝑎𝑑𝑜𝑠 𝑒𝑛 𝑝𝑎𝑟𝑎𝑙𝑒𝑙𝑜, 𝑠𝑒 𝑠𝑖𝑚𝑏𝑜𝑙𝑖𝑧𝑎: 𝑞 ˅ ~𝑝

(𝑞 ˅ ~𝑝) 𝑦 𝑟 𝑒𝑠𝑡𝑎𝑛 𝑐𝑜𝑛𝑒𝑐𝑡𝑎𝑑𝑜𝑠 𝑒𝑛 𝑠𝑒𝑟𝑖𝑒, 𝑠𝑒 𝑠𝑖𝑚𝑏𝑜𝑙𝑖𝑧𝑎: (𝑞 ˅ ~𝑝) ˄ 𝑟

𝑝 𝑦 ~𝑞 𝑒𝑠𝑡𝑎𝑛 𝑐𝑜𝑛𝑒𝑐𝑡𝑎𝑑𝑜𝑠 𝑒𝑛 𝑠𝑒𝑟𝑖𝑒, 𝑠𝑒 𝑠𝑖𝑚𝑏𝑜𝑙𝑖𝑧𝑎: 𝑝 ˄ ~𝑞

Finalmente: [(𝑞 ˅ ~𝑝) ˄ 𝑟] ˅ (𝑝 ˄ ~𝑞)

Simplificando se obtiene:

[(𝑞 ˅ ~𝑝) ˄ 𝑟] ˅ (𝑝 ˄ ~𝑞) ≡ [~(~𝑞 ˄ 𝑝) ˄ 𝑟] ˅ (𝑝 ˄ ~𝑞)

[(𝑞 ˅ ~𝑝) ˄ 𝑟] ˅ (𝑝 ˄ ~𝑞) ≡ [~(𝑝 ˄ ~𝑞) ˄ 𝑟] ˅ (𝑝 ˄ ~𝑞)
[(𝑞 ˅ ~𝑝) ˄ 𝑟]˅ (𝑝 ˄ ~𝑞) ≡ [~(𝑝
⏟ ˄ ~𝑞) ˅ (𝑝 ˄ ~𝑞)] ˄ [𝑟 ˅ (𝑝 ˄ ~𝑞)]
𝑉
[(𝑞 ˅ ~𝑝) ˄ 𝑟]˅ (𝑝 ˄ ~𝑞) ≡ 𝑉 ˄ [𝑟 ˅ (𝑝 ˄ ~𝑞)]
[(𝑞 ˅ ~𝑝) ˄ 𝑟]˅ (𝑝 ˄ ~𝑞) ≡ [𝑟 ˅ (𝑝 ˄ ~𝑞)]

Por tanto, el circuito equivalente es:

p ~q

* Ejercicios 1-26, 1-27, 1-29, 1-31, 1-36: Armando Rojo I Texto