Semantica Logica Proposicional JAIME MEJIA L

Asignatura Datos del alumno Fecha
Apellidos: Mejia Lopez

Lógica Computacional 11/03/2021
Nombre: Jaime Andrés
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 ˄ q) → p
(p ˄ q) →
p q p˄q p
V V V V
V F F V
F V F V
F F F V
© Universidad Internacional de La Rioja (UNIR)
Es una tautología
 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.
Tema 5. Actividades 1
¬(p ˄ q) → (¬p ˄ ¬q)

¬(p ˄ q) →
p q (p ˄ q) ¬(p ˄ q) ¬p ¬q (¬p ˄ ¬q) (¬p ˄ ¬q)
V V V F F F F V
V F F V F V F F
F V F V V F F V
F F F V V V V V
No es una Tautología
 Para llevar mi sombrilla es necesario que llueva; por lo tanto, si no llueve, no llevo
mi sombrilla.
p↔q
¬q
____________
∴ ¬p
p q p↔q ¬p ¬q
V V V F F
V F F F V
F V F V F
F F V V V
No es Tautología
 Para llevar mi sombrilla es necesario y suficiente que llueva; por lo tanto, si no

llueve no llevaré mi sombrilla.
p↔q
¬q
____________
∴ ¬p
p q p↔q ¬p ¬q
V V V F F
V F F F V
F V F V F
F F V V V
 Para aprobar física es suficiente tener un buen profesor; por lo tanto, tendré un
buen profesor o no aprobaré física.
p→q
q
___________
∴ ¬p
p q p→q ¬p
V V V F
V F F F
F V V V
F F V V
 Estoy cansada o hambrienta, pero no estoy cansada, así que debo estar
hambrienta.
p˅q
¬q
____________
∴q
p q p˅q ¬q
V V F F
V F V V
F V V F
F F F V
 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 ↔ q) ˄ (p → r)
q
___________
∴r
p↔q (p ↔ q) ˄ (p → r)
p q r p→r
V V V V V V
V V F V F F
V F V F V F
V F F F F F
F V V F V F
F V F F V F
F F V F V F
F F F V V V
 Para sacar buenas notas es necesario estudiar, pero Manuel no sacó buenas notas;
por lo tanto, Manuel no estudió.
Ejercicio 2
Use una tabla de verdad para comprobar las siguientes tautológicas:

1. Modus Tollens.
p q p↔q ¬p ¬q
V V V F F
V F F F V
F V F V F
F F V V V
2. Adición.
3. Transitividad.
4. Ley conmutativa: (𝑝 ∧ 𝑞) ↔ (𝑞 ∧ 𝑝).
5. Switcheroo.
Ejercicio 3
De acuerdo a las siguientes proposiciones:

 𝑝: Sandra es buena profesora.
 𝑞: Álex es buen profesor.
 𝑟: Los estudiantes de Sandra gustan de la física.
 𝑠: Los estudiantes de Álex gustan de la física.
De acuerdo a las siguientes proposiciones:

 𝑝 ∧ (~𝑟)
p q r ¬r P ˄ (¬r)
V V V F F
V V F V V
V F V F F
V F F V V
F V V F F
F V F V F
F F V F F
F F F V F
 (~𝑝) ∧ (~𝑞)
p q r ¬p ¬q ¬p ˄ ¬q
V V V F F F
V V F F F F
V F V F V F
V F F F V F
F V V V F F
F V F V F F
F F V V V V
F F F V V V
 𝑝𝑣(𝑟 ∧ (~𝑞))
p q r s ¬q r ˄ ¬q p ˅ (r ˄ ¬q)
V V V V F F V
V V V F F F V
V V F V F F V
V V F F F F V
V F V V V V F
V F V F V V F
V F F V V F V
V F F F V F V
F V V V F F F
F V V F F F F
F V F V F F F
F V F F F F F
F F V V V V V
F F V F V V V
F F F V V F F
F F F F V F F
 (𝑟𝑣(~𝑝)) ∧ 𝑞
p q r s ¬p r ˅ ¬p (r ˅ ¬p) ˄q
V V V V F V V
V V V F F V V
V V F V F F F
V V F F F F F
V F V V F V F
V F V F F V F
V F F V F F F
V F F F F F F
F V V V V F F
F V V F V F F
F V F V V V V
F V F F V V V
F F V V V F F
F F V F V F F
F F F V V V F
F F F F V V F
 𝑞𝑣(~𝑞)
p q r s ¬q q ˅ ¬q
V V V V F V
V V V F F V
V V F V F V
V V F F F 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
F V V V F V
F V V F F V
F V F V F V
F V F F F V
F F V V V V
F F V F V V
F F F V V V
F F F F V V
 ((~𝑝) ∧ (~𝑠))𝑣𝑞
p q r s ¬p ¬s ¬p ˄ ¬s (¬p ˄ ¬s) ˅ q
V V V V F F F V
V V V F F V F V
V V F V F F F V
V V F F F V F V
V F V V F F F F
V F V F F V F F
V F F V F F F F
V F F F F V F F
F V V V V F F V
F V V F V V V F
F V F V V F F V
F V F F V V V F
F F V V V F F F
F F V F V V V V
F F F V V F F F
F F F F V V V V
 𝑟 ∧ (~𝑟)
 (~𝑠) ∨ (~𝑟)
 ~(𝑞 ∨ 𝑠)
 ~(𝑝 ∨ 𝑟)
Ejercicio 4
Traduzca los siguientes enunciados en proposiciones compuestas, haciendo uso del

condicional o el bicondicional y empleando 𝑝 para la proposición «Soy Juan Valdez»
y 𝑞 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

Semantica Logica Proposicional JAIME MEJIA L

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Semantica Logica Proposicional JAIME MEJIA L

Cargado por

Copyright:

Formatos disponibles

Asignatura Datos del alumno Fecha

Apellidos: Mejia Lopez

Trabajo: Semántica de la lógica proposicional

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

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

¬(p ˄ q) → (¬p ˄ ¬q)

 Para llevar mi sombrilla es necesario y suficiente que llueva; por lo tanto, si no

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

De acuerdo a las siguientes proposiciones:

De acuerdo a las siguientes proposiciones:

Traduzca los siguientes enunciados en proposiciones compuestas, haciendo uso del

 Soy Juan Valdez, entonces no eres cafetero.

 Soy Juan Valdez solo si eres cafetero.

También podría gustarte