IUPSM

Álgebra I
Profesor: Lic. César Valdéz
Álgebra I – Lógica Proposicional

Repaso Conectores: IUPSM

AND (^):
"Comí y bebí" p ^ q
"Cantaban, bailaban, jugaban y reían" p ^ q ^ r ^ s
"Llegó, vio y venció" p ^ q ^ r OR (v):
p q
0 0
r
0
p^q (p^q) v r
0 0
"Como o bebo" p v q
0 0 1 0 1 "O se quedan o se van" p v q
0 1 0 0 0
0 1 1 0 1
" La sopa se servirá fría o caliente" p v q
1 0 0 0 0 "O estudia y trabaja o serás un parado" (p ^ q) v r
1 0 1 0 1
1 1 0 1 1
1 1 1 1 1

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

Repaso Conectores: IUPSM

NEGACION (¬, ~, ‘):

“No como o bebo" ¬ p v q.

“Como o no bebo" p v ¬ q

"No es cierto que comas o bebas" ¬ (p v q)

"No es cierto que no dijiste aquello" ¬ (¬ p) = p

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

Ejercicio 1 – Enunciado: IUPSM

Hoy es martes, tengo que estudiar Algebra I Hoy es martes

y aprobaré la materia. tengo que estudiar
Algebra I
aprobaré la materia.

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

IUPSM

Condicional: ( ) Son proposiciones moleculares que usan la

condición “SI… Entonces” y hace que su antecedente implica su
consecuente.
Por ejemplo:
Si mañana sale el sol, iremos al parque.
Habrías llegado a tiempo si hubieses salido antes.
Si tienen hambre, les preparo un emparedado. 
"Si llueve entonces me mojo" p –> q

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

IUPSM
Bicondicional: ( <-> ) Son proposiciones unidas
por el conector <-->, y hace que la proposición
molecular resultante sea verdadera siempre
que las proposiciones unidas por dicho
conector sean al mismo tiempo verdaderas o
falsas.
  Ejemplo:
Las conectores usados pueden ser: "El agua equivale a H20" p <-> q
…si y sólo si…,
"La democracia sólo existe si y
equivale a…, sólo si hay elecciones"
es igual a…, p <-> q
es loLic.mismo
Profesor: César Valdézque…,
– Algebra I etc. 26/10/2021
Álgebra I – Lógica Proposicional

IUPSM
Principales tipos de relaciones entre proposiciones

Se determina en base a la relación entre dos proposiciones,

tomando en cuenta la influencia que haya entre los valores de
verdad de la segunda.

Debe entenderse como relaciones lógicas a las "relaciones entre una

proposición o conjunto de proposiciones y otra proposición o
conjunto de proposiciones.

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

1.-Equivalencia IUPSM

Dos proposiciones (o conjunto de proposiciones) están en

relación lógica de equivalencia, cuando la verdad o falsedad
de la primera determina respectivamente la verdad o
falsedad de la segunda.

Ejemplo de proposiciones equivalentes:

 Todos los planetas son astros
 Si un ser no es un Astro, entonces no es un planeta.
Profesor: Lic. César Valdéz – Algebra I 26/10/2021
Álgebra I – Lógica Proposicional

2.-Contradicción IUPSM

Es la relación lógica opuesta a la equivalencia y se define como:

Dos proposiciones son contradictorias cuando se oponen de tal

manera que si la primera es verdadera determina la falsedad, la
segunda es falsa, y si la primera es falsa, la segunda es verdadera. 

Ejemplo de contradictorias:
 Toda guerra es una guerra para terminar otra guerra. (NAPOLEÓN).
 Algunas guerras no son guerras para terminar otra guerra.
Profesor: Lic. César Valdéz – Algebra I 26/10/2021
Álgebra I – Lógica Proposicional

IUPSM
 3.-Contrariedad

La contrariedad una proposición niega lo que la otra afirma y , a su vez, afirma

algo mas.

 Dos proposiciones están en relación lógica de contrariedad cuando la verdad

de la primera determina la falsedad de la segunda; pero la falsedad de la
primera hace indeterminada a la segunda.

Ejemplo de proposiciones contrarias:

 Los soldados ganan la batalla y los generales se lleva la fama "Napoleón" .
 Ni los soldados ganan la batalla ni los generales se llevan la fama.
Profesor: Lic. César Valdéz – Algebra I 26/10/2021
Álgebra I – Lógica Proposicional

Construir la Tabla de Verdad: IUPSM

• Construye la tabla de verdad para ¬(p^q)

P q (p^q) ¬ (p^q)
0 0 0 1
0 1 0 1
1 0 0 1
1 1 1 0

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

Construir la Tabla de Verdad: IUPSM

• Construye la tabla de verdad para pv(p^q)

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

Construir la Tabla de Verdad: IUPSM

• Construye la tabla de verdad para ¬p^(pvq)

p q (pvq) ¬p ¬p^ (pvq)

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

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

Construir la Tabla de Verdad: IUPSM

• Construye la tabla de verdad para ¬(p^q)^(¬r)

p q r ¬r p^q ¬(p^q) ¬(p^q)^(¬r)

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

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

Construir la Tabla de Verdad: IUPSM

• Construye la tabla de verdad para ¬(¬pv¬q)v(¬r)

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

IUPSM
Tablas de Verdad:

“Si consigo el puesto de gerente me compraré un auto”

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

IUPSM
Tablas de Verdad:

“Si tengo tiempo, almorzamos juntos”

Profesor: Lic. César Valdéz – Algebra I 26/10/2021

Álgebra I – Lógica Proposicional

IUPSM
"No es cierto que no coma o beba"

Profesor: Lic. César Valdéz – Algebra I 26/10/2021