Trabajo de Semantica

Asignatura Datos del alumno Fecha
Apellidos: RIVAS SALCEDO

Lógica Computacional 10-03-2020
Nombre: ECXY MARLENY
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
p q p ^ q (p˄q)-->p
© Universidad Internacional de La Rioja (UNIR)
v v v v
v f f v
f v f v
f f f v
Si es una tautología ya que todos sus valores son verdaderos.
Tema 5. Actividades 1
 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 ˅ ¬q)
p Q ¬p p→ q q ˅¬p (p → )--> (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
(p → q) ˄ (p→ r)
P→ R.
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 q ¬p p→ q (p→ 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
[(p → q) ˄ (¬ p)] → (¬p)
p q ¬p p-->q (p --> q)˄(¬p) [(p-->q)˄(¬p)] --> ¬p

v v f v f v
v f f f f v
f v v v v v
f f v v v v
2. Adición.
P
˫p˅q
Tautología: p→ (p ˅ q)
p q p˅q p --> (p ˅ q )
v v v v
v f v v
f v v v
f f f v
3. Transitividad.
p→ q
q→ r
p→ r
Tautología: [(p → q) ˄ (q → r)] → (p → r)
p q r p --> q q --> r p --> r (p-->q)˄(q-->r) [(p-->q)˄(q-->r)]-->(p-->r)

v v v v v v v v
v v f v f f f v
v f v f v v f v
v f f f v f f v
f v v v v v v v
f v f v f v f v
f f v v v v v v
f f f v v v v v
4. Switcheroo.
p→ q (¬p) ˅q
∴ (¬p) ˅ q ∴p→ q
Tautología: (p → q) ←→ ((¬p) ˅ q)
p q ¬p p --> q ((¬p)˅q) (p-->q)<-->((¬p)˅q)

v v f v v v
v f f f f v
f v v v v v
f f v v v v
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:

 𝑝 ∧ (~𝑟)
Sandra es una buena profesora y a los estudiantes de Sandra no les gusta la física
 (~𝑝) ∧ (~𝑞)
Sandra no es buena profesora de física y a los estudiantes de Sandra no les gusta la
física.
 𝑝𝑣(𝑟 ∧ (~𝑞))
Sandra es buena profesora o los estudiantes de Sandra gustan de física y Alex es un
mal profesor.
 (𝑟𝑣(~𝑝)) ∧ 𝑞
Los estudiantes de Sandra gustan de física o Alex no es buen profesor y
 𝑞𝑣 (~𝑞)
Alex es buen profesor o Alex no es buen profesor.
 ((~𝑝) ∧ (~𝑠))𝑣𝑞
Sandra no es una buena profesora y los estudiantes de Alex no les gusta la física o
Alex es buen profesor.
 𝑟 ∧ (~𝑟)
Los estudiantes de Sandra gustan de física y los estudiantes de Sandra no gustan de
física
 (~𝑠) ∨ (~𝑟)
Los estudiantes de Alex no gustan de física o los estudiantes de Sandra no gustan de
física.
 ~(𝑞 ∨ 𝑠 )
No es cierto que Alex es un buen profesor o los estudiantes de Alex gusten de física
 ~(𝑝 ∨ 𝑟 )
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 𝑝 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

Trabajo de Semantica

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

Trabajo de Semantica

Cargado por

Copyright:

Formatos disponibles

Asignatura Datos del alumno Fecha

Apellidos: RIVAS SALCEDO

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

 Si tengo sueño y tengo frío, entonces tengo sueño.

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

P = Las amapolas son amarillas

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

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

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

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

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

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

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

p q ¬p p-->q (p --> q)˄(¬p) [(p-->q)˄(¬p)] --> ¬p

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

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

De acuerdo a las siguientes proposiciones:

Traduzca los siguientes enunciados en proposiciones compuestas, haciendo uso del

 Soy Juan Valdez, entonces no eres cafetero.

 No eres cafetero si y solo si no soy Juan Valdez.

 No soy Juan Valdez o eres cafetero.

También podría gustarte