Asignatura Datos del alumno Fecha

Apellidos: Palma Bustos

Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

Fundación Universitaria Internacional de

La Rioja Pregrado en Ingeniería
Informática

Semá ntica de la
Ló gica
Proposicional

Trabajo presentado por: Andrés Alfonso de Jesús Palma Bustos

Profesor/a: Deivis Eduard Ramírez Martínez

Bogotá
Marzo,
2022
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

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 ) → q
p q ( p ∧q ) q ( p ∧q ) → q
F F F F V
F V F V V
V F F F V
V V V V V
TAUTOLOGIA
 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 ) ¬ p ¬q ( ¬ p ∧¬ q ) ¬ ( p ∧q ) → ( ¬ p ∧¬ q )
F F F V V V V V
F V F V V F F F
V F F V F V F F
V v V F F F F V
NO TAUTOLOGIA
 Para llevar mi sombrilla es necesario que llueva; por lo tanto, si no llueve, no llevo mi
sombrilla.
p: llevar sombrilla
q: llover
( p →q ) ⊢ ( ¬q → ¬ p )

2
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

p q ( p →q ) ¬q ¬ p ( ¬ q →¬ p ) ( p →q ) ⊢ ( ¬q → ¬ p )
F F V V V V V
F V V F V V V
V F F V F F V
V V V F F V V
TAUTOLOGIA
 Para llevar mi sombrilla es necesario y suficiente que llueva; por lo tanto, si no llueve
no llevaré mi sombrilla.
p: llevar sombrilla
q: llover
( p ↔q ) ⊢ ( ¬q → ¬ p )
p q ( p ↔q ) ¬q ¬ p ( ¬ q →¬ p ) ( p →q ) ⊢ ( ¬q → ¬ p )
F F V V V V V
F V F F V V V
V F F V F F V
V V V F F V V
TAUTOLOGIA
 Para aprobar física es suficiente tener un buen profesor; por lo tanto, tendré un buen
profesor o no aprobaré física.
p: aprobar física
q: tener un buen profesor
( p ↔q ) ⊢ ( q ∨¬ p )
p q ( p ↔q ) ¬p ( q ∨ ¬ p) ( p →q ) ⊢ ( q ∨¬ p )
F F V V V V
F V F V V V
V F F F F V
V V V F V V
TAUTOLOGIA

3
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

 Estoy cansada o hambrienta, pero no estoy cansada, así que debo estar hambrienta.
p: estar cansada
q: estar hambrienta
( ( p ∨q ) ∨ ¬ p ) ⊢q
p q ( p ∨q ) ¬p ( p ∨q ) ∨¬ p ( ( p ∨q ) ∨ ¬ p ) ⊢q
F F F V V F
F V V V V V
V F V F V F
V V V F V V
NO TAUTOLOGIA
 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: sacar buenas notas
q: estudiar
r: obtener un buen empleo
e=( p → q ) ∧ ( p →r ) ⊢ ( r ↔ q )
p q ( p →q ) r ( p →r ) ( p →q ) ∧ ( p → r ) ( r ↔ q) e
F F V F V V V V
F F V V V V F F
F V V F V V F F
F V V V V V V V
V F F F F F V V
V F F V V F F V
V V V F F F F V
V V v V V V V V
NO TAUTOLOGIA
 Para sacar buenas notas es necesario estudiar, pero Manuel no sacó buenas notas;
por lo tanto, Manuel no estudió.
p: sacar buenas notas
q: estudiar
( ( p → q ) ∧¬ p ) ⊢¬ q

4
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

p q ( p →q ) ¬p ( p →q ) ∧ ¬ p ¬q ( ( p → q ) ∧¬ p ) ⊢¬ q
F F V V V V V
F V V V V F F
V F F F F V V
V V V F F F V
NO TAUTOLOGIA
Ejercicio 2

Use una tabla de verdad para comprobar las siguientes tautológicas:

 Modus Tollens
( ( p → q ) ∧¬q ) ⊢¬ p
p q ( p →q ) ¬q ( p →q ) ∧ ¬q ¬p ( ( p → q ) ∧¬q ) ⊢¬ p
F F V V V V V
F V V F F V V
V F F V F F V
V V V F F F V

 Adición
p ⊢ ( p ∨q )
p q ( p ∨q ) p ⊢ ( p ∨q )
F F F V
F V V V
V F V V
V V V V

5
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

 Transitividad
e=( ( p → q ) ∧ ( q → r ) ) → ( p → r )
p q r ( p →q ) (q → r ) ( p →q ) ∧ ( q → r ) ( p →r ) e
F F F V V V V V
F F V V V V V V
F V F V F F V V
F V V V V V V V
V F F F V F F V
V F V F V F V V
V V F V F F F V
V V V V V V V V

 Ley conmutativa
( p ∧q ) ↔ ( q ∧ p )
p q ( p ∧q ) (q ∧ p ) ( p ∧q ) ↔ ( q ∧ p )
F F F F V
F V F F V
V F F F V
V V V V V

 Switcheroo
( p →q ) ↔ ( ( ¬ p ) ∨ q )
p q ( p →q ) (¬ p) (( ¬ p ) ∨ q) ( p →q ) ↔ ( ( ¬ p ) ∨ q )
F F V V V V
F V V V V V
V F F F F V
V V V F V V

6
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

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 buena profesora y a sus estudiantes no gustan de la física.
 ( p) ∧ ( q)
Sandra no es buena profesora y Álex no es buen profesor.
 p ∨(r ∧( q ) )
Sandra es buena profesor, pero los estudiantes de Sandra les gusta la física y Álex
no es buen profesor.
 ( r ∨ ( p ) ) ∧q
Los estudiantes de Sandra les gusta la física, pero Sandra no es buena profesora, y
Álex es buen profesor.
 q ∨ ( q)
Álex es buen profesor, o Álex no es buen profesor
 ( ( p ) ∧ ( s ) ) ∨q
Sandra no es buena profesora y a los estudiantes de Álex no les gusta la física, o
Álex es un buen profesor.
 r ∧( r )
Los estudiantes de Sandra gustan de la física y los estudiantes de Sandra no gustan
de la física.
 ( s) ∨ ( r )
Los estudiantes de Sandra no gustan de la física o los estudiantes de Álex no gustan
de la física.
 (q ∨ s )
Álex no es un buen profesor o los estudiantes de Álex no gustan de la física.
 ( p ∨r )
Sandra no es una buena profesora o los estudiantes de Sandra no gustan de la

7
 Asignatura Datos del alumno Fecha
Apellidos: Palma Bustos
Lógica Computacional 21/03/2022
Nombre: Andrés Alfonso de Jesús

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
 No soy Juan Valdez o eres cafetero.
¬ p∨q
 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