Asignatura Datos del alumno Fecha

Lógica Computacional Apellidos: Mendez Oyaga

Nombre: Teofilo David

Trabajo: Semántica de la lógica proposicional

Objetivo de aprendizaje

Identificar y desarrollar habilidades obtenidas en transcurso del curso en atención a

las temáticas impartidas.

Conocimientos

Antes de empezar a realizar estos ejercicios es importante que recordemos lo

siguiente: las reglas derivadas, tablas de la verdad, implicaciones y equivalencias
tautológicas y las estrategias de deducción lógica.

Ejercicio 1

Escribe cada uno de los siguientes enunciados en forma simbólica, y decide si es una
tautología o no:
▶ Si tengo sueño y tengo frío, entonces tengo sueño.
p=tengo sueño
q=tengo frio
(p ^ q) 🡪 p

© Universidad Internacional de La
Si es una tautología ya que todos sus valores son verdaderos.
Rioja (UNIR)

Tema 5. Actividades
 Asignatura Datos del alumno Fecha
Lógica Computacional Apellidos: Mendez Oyaga
Nombre: Teofilo David

▶ Si no es verdad que las amapolas son amarillas y las azucenas son azules,
entonces las amapolas no son amarillas y las azucenas no son azules.

p= las amapolas son amarillas

q=las azucenas son azules
¬(p ^ q) 🡪 (¬p ^ ¬q)
p q ¬p ¬q ¬p --> ¬q
v v f f v
v f f v v
f v v f f
f f v v v
No es una tautología ya que no todos sus valores son verdaderos.

▶ Para llevar mi sombrilla es necesario que llueva; por lo tanto, si no llueve, no

llevo mi sombrilla.
P = llevo mi sombrilla
q = llueve
(p 🡪 q) 🡪 (¬p 🡪 ¬q)
p q ¬p ¬q p --> q ¬p --> ¬q (p--> q ) --> (¬p --> q)
v v f f v v v
v f f v v v v
f v v f v v v
f f v v v v v

Si es una tautología ya que todos los valores son verdaderos.

▶ Para aprobar física es suficiente tener un buen profesor; por lo tanto, tendré un
buen profesor o no aprobaré física.
P = aprobé física
q = tengo un buen profesor
(p 🡪 q) 🡪 (q ˅de
© Universidad Internacional ¬q)La
Rioja (UNIR)

Tema 5. Actividades
 Asignatura Datos del alumno Fecha
Lógica Computacional Apellidos: Mendez Oyaga
Nombre: Teofilo David

p Q ¬p p --> q q ˅¬p (p --> q)--> (q˅¬p)

v f f v v v
v f f f f v
f v V v v v
f F v v v v

Si es una tautología ya que todos los valores son verdaderos.

▶ Estoy cansada o hambrienta, pero no estoy cansada, así que debo estar
hambrienta.
p = estoy cansada
q = estoy hambrienta
(p ˅ q) ˄ (¬p 🡪 q)
p q ¬p p˅q ¬p --> q (p ˅ q) ˄ (¬p --> q)
v v f v v v
v f f v v v
f v v v v v
f f v f f f

No es una tautología ya que no todos sus valores son verdaderos.

▶ Para sacar buenas notas es necesario estudiar, y si tengo buenas notas obtendré
un buen empleo; por lo tanto, es suficiente estudiar para obtener un buen
empleo.
p =saco buenas notas
q = estudio
r= tengo un buen empleo

© Universidad Internacional de La
Rioja (UNIR) (p 🡪 q) ˄ (p🡪r)
P🡪R.

Tema 5. Actividades
 Asignatura Datos del alumno Fecha
Lógica Computacional Apellidos: Mendez Oyaga
Nombre: Teofilo David

p q r p- -> q p --> r (p --> q) ˄ (p --> r)

v v v v v V
v v f v f F
v f v f v F
v f f v v v
f v v v v v
f v f v v v
f f v v v v
f f f v v v
No es una tautología ya que no todos sus valores son verdaderos
▶ Para sacar buenas notas es necesario estudiar, pero Manuel no sacó buenas
notas; por lo tanto, Manuel no estudió.
p = saque buenas notas
q = estudiar
(p 🡪 q) ˄ (¬p)
˫ ¬q
(p--
p q ¬p p- -> q
>q)˄(¬p)
v v f v f
v f f f f
f v v v v
f f v v v

No es una tautología ya que los valores de verdad del enunciado como

tal son falsos y verdaderos.
Ejercicio 2
Use una tabla de verdad para comprobar las siguientes tautológicas:
1. Modus Tollens.
p🡪q
¬q
© Universidad Internacional de La
[(p 🡪 q)˄ (¬ p)] 🡪 (¬p)
Rioja (UNIR)

Tema 5. Actividades
 Asignatura Datos del alumno Fecha
Lógica Computacional Apellidos: Mendez Oyaga
Nombre: Teofilo David

2. Adición.
P

˫ p˅q
Tautología: p🡪 (p ˅ q)

3. Transitividad.
p🡪q
q🡪 r
● p🡪r
Tautología: [(p 🡪q) ˄ (q 🡪 r)] 🡪 (p 🡪 r)

4. Switcheroo.
p🡪q
© Universidad Internacional de(¬p)
La ˅q
Rioja (UNIR) ∴ (¬p) ˅ q ∴ p 🡪 q
Tautología: (p 🡪 q) 🡨🡪 ((¬p) ˅ q)

Tema 5. Actividades
 Asignatura Datos del alumno Fecha
Lógica Computacional Apellidos: Mendez Oyaga
Nombre: Teofilo David

Ejercicio 3
De acuerdo a las siguientes proposiciones:
▶ p: Sandra es buena profesora.
▶ q : Álex es buen profesor.
▶ r : Los estudiantes de Sandra gustan de la física.
▶ s: Los estudiantes de Álex gustan de la física.

De acuerdo a las siguientes proposiciones:

▶ p ∧( r )
Sandra es una buena profesora y a los estudiantes de Sandra no les gusta la física
▶ ( p) ∧ ( q)
Sandra no es buena profesora de física y a los estudiantes de Sandra no les gusta la
física.
▶ pv ( r ∧ ( q ) )
Sandra es buena profesora o los estudiantes de Sandra gustan de física y Alex es un
mal profesor.
▶ ( rv ( p ) ) ∧q
Los estudiantes de Sandra gustan de física o Alex no es buen profesor y
▶ qv ( q )
Alex es buen profesor o Alex no es buen profesor.
▶ ( ( p ) ∧ ( s ) ) vq

Sandra no es de
© Universidad Internacional unaLa
buena profesora y los estudiantes de Alex no les gusta la física o

Rioja (UNIR) Alex es buen profesor.

Tema 5. Actividades
 Asignatura Datos del alumno Fecha
Lógica Computacional Apellidos: Mendez Oyaga
Nombre: Teofilo David

▶ r ∧( r )
Los estudiantes de Sandra gustan de física y los estudiantes de Sandra no gustan de
física
▶ ( s) ∨ ( r )
Los estudiantes de Alex no gustan de física o los estudiantes de Sandra no gustan
de física.
▶ (q ∨ s )
No es cierto que Alex es un buen profesor o los estudiantes de Alex gusten de física
▶ ( p ∨r )
No es cierto que Sandra es buena profesora o los estudiantes de Sandra gusten de
física.
Ejercicio 4

Traduzca los siguientes enunciados en proposiciones compuestas, haciendo uso del

condicional o el bicondicional y empleando p para la proposición «Soy Juan Valdez»
y q para la proposición «Eres cafetero».

▶ Soy Juan Valdez, entonces no eres cafetero.

p 🡪¬ q
▶ Soy Juan Valdez solo si eres cafetero.
p🡪q
▶ Eres cafetero solo si no soy Juan Valdez.
q 🡪 ¬p
▶ No eres cafetero si y solo si no soy Juan Valdez.
¬q 🡨🡪 ¬p
▶ Soy cafetero o soy Juan Valdez.
q˅p
© Universidad Internacional de La
▶ No soy Juan Valdez o eres cafetero.
Rioja (UNIR)
¬p ˅ q

Tema 5. Actividades
 Asignatura Datos del alumno Fecha
Lógica Computacional Apellidos: Mendez Oyaga
Nombre: Teofilo David

▶ Para que seas cafetero es necesario y suficiente que no sea Juan Valdez.
q 🡨🡪 ¬p
▶ Para que no seas cafetero, es necesario y suficiente que no seas Juan Valdez.
¬q 🡨🡪 ¬p

© Universidad Internacional de La
Rioja (UNIR)

Tema 5. Actividades