PDF Semantica Logica Proposicional Jaime Mejia L - Compress

Asignatura Datos del alumno Fecha

Apellidos: Mejia Lopez
Lógica Computaciona
Computacionall 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
This website stores data such as (p ˄ q) →
cookies to enable essential
p site q p ˄ q p
functionality, as well asVmarketing, V V V
personalization, and analytics. You
may change your settings V at any timeF F V
F
or accept the default settings. V F V
)
R
I F F F V
N
U
(
a
j
Privacy Policy
o
i
R
a Marketing Es una tautología
L
e
d
l
a

PersonalizationSi no es verdad que las amapolas son amarillas y las azucenas son azules, entonces
entonces
n
o
i
c
a
n
Analytics las amapolas no son amarillas y las azucenas no son azules.
r
e
t
n
I
d Save Accept All
a
d
i
s
r
e
v
i
n
U
Tema 5. Actividades
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
This website stores llueve no as

data such llevaré mi sombrilla.
cookies to enable essential site
p↔q
functionality, as well as marketing,
personalization, and¬q analytics. You
may change your settings at any time
or accept the default settings. ____
____________
________
)
R
I
N
U
∴ ¬p

( Privacy Policy
a
j
o
i
R p q p↔q ¬p ¬q
a
L Marketing
e V V V F F
d
l
a Personalization V F F F V
n
o
i
c Analytics F V F V F
a
n
r
e
t
n
F F V V V
I
d Save Accept All
a
d
i
s
r
e
v
i

U Tema 5. Actividades
Actividades 2
©


 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
This website stores data such as
V
F V V
functionality, as well asFmarketing, V V F
personalization, and analytics.
F You F F V
or accept the default settings.
)
R
I
N
U
(
aPrivacy Policy
j
o
i
R
a
L
Marketing Para sacar buenas notas es necesario estudiar, y si tengo buenas notas obtendré
e
d
l
a Personalization un buen empleo; por lo tanto, es suficiente estudiar para obtener un buen empleo.
n
o
i
c Analytics
a
n
r
e
t
n
I
d Save Accept All
a
d
i
s
r
e
v
i

U Tema 5. Actividades
Actividades 3
©

(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.
This website stores data suchp as q p↔q ¬p ¬q

cookies to enable essential Vsite V V F F
V F F F V
may change your settings atFany time V F V F
F F V V V
)
R
I
N
U
(
a
Privacy Policy 2. Adición.
j
o
i
R
a
L
Marketing
e
d
l Personalization
a
n 3. Transitividad.
o
i
c
a Analytics
n
r
e
4. Ley conmutativa:  ∧ 
 ↔  ∧ 
↔   .
t
n
I
d Save Accept All
a
d
i
s
r
e
v
i
n
U
Tema 5. Actividades
Actividades 4
©

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 site
cookies to enable essential V V F F F
functionality, as well asVmarketing, V F F F F
V F V F V F
V
or accept the default settings. F F F V F
) F V V V F F
R
I
N
U
F V F V F F
(
a
Privacy Policy
j
o
i
F F V V V V
R
a Marketing F F F V V V
L
e
d
l
a
Personalization
n
o
i
c
a Analytics
n
r
e
t
n
I
d
Save Accept All
a
d
i
s
r
e
v
i
n
U
Tema 5. Actividades
Actividades 5
©


 ( ∧ ~)
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
This website stores data V such as F V F F V F
V site
cookies to enable essential F F V F F F
functionality, as well asVmarketing, F F F F F F
F
V V V V F F
F
or accept the default settings. V V F V F F
)
R
F V F V V V V
I
N F V F F V V V
UPrivacy Policy
(
a
j
o
i
F F V V V F F
R
a Marketing F F V F V F F
L
e
d Personalization F F F V V V F
l
a
n
o
i
c
a
Analytics F F F F V V F
n
r
e
t
n
I
d
Save Accept All
a
d
i
s
r
e
v
i
n
U
Tema 5. Actividades
Actividades 6
©


  ~
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
cookies to enable essential Fsite F V F F F F
functionality, as wellVas marketing,
F F F F V F F
F V V V V F F V
or accept the defaultF settings.
V V F V V V F
) F V F V V F F V
R
I
N
UPrivacy Policy
F V F F V V V F
(
a
j
o
F F V V V F F F
i
R Marketing F
a
L
F V F V V V V
e
d
l PersonalizationF F F V V F F F
a
n
o
i
c
a
Analytics F F F F V V V V
n
r
e
t
n
I Save Accept All
d
a
d
i
s
r
e
v
i
n
U
Tema 5. Actividades
Actividades 7
©

 ∧ ~
 ∧  ~
 ~
~ ∨ ~
∨  ~

~ ∨ 
 
 ~ ∨ 
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.
may change your settings
¬p ˅ qat any time
 Para que seas cafetero es necesario y suficiente que no sea Juan Valdez.
)
R
I
N
UPrivacy Policy
( q↔ ¬p
a
j
o
i
R
a Marketing Para que no seas cafetero, es necesario y suficiente que no seas Juan Valdez.
L
e
d
l Personalization ↔
¬q ¬p
a
n
o
i
c Analytics
a
n
r
e
t
n
I Save Accept All
d
a
d
i
s
r
e
v
i
n
U
Tema 5. Actividades
Actividades 8
©


)
R
I
N
UPrivacy Policy
(
a
j
o
i
R Marketing
a
L
e
d
l Personalization
a
n
o
i
c Analytics
a
n
r
e
t
n
I Save Accept All
d
a
d
i
s
r
e
v
i

PDF Semantica Logica Proposicional Jaime Mejia L - Compress

Cargado por

Información del documento

Título original

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

PDF Semantica Logica Proposicional Jaime Mejia L - Compress

Cargado por

Copyright:

Formatos disponibles

Asignatura Datos del alumno Fecha

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

Asignatura Datos del alumno Fecha

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

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

This website stores llueve no as

Asignatura Datos del alumno Fecha

buen profesor o no aprobaré física.

Asignatura Datos del alumno Fecha

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

This website stores data suchp as q p↔q ¬p ¬q

Asignatura Datos del alumno Fecha

De acuerdo a las siguientes proposiciones:

De acuerdo a las siguientes proposiciones:

Asignatura Datos del alumno Fecha

Asignatura Datos del alumno Fecha

Asignatura Datos del alumno Fecha

Traduzca los siguientes enunciados en proposiciones compuestas, haciendo uso del

 Soy Juan Valdez, entonces no eres cafetero.

 Soy Juan Valdez solo si eres cafetero.

 Eres cafetero solo si no soy Juan Valdez.

This website stores data such as

Asignatura Datos del alumno Fecha

This website stores data such as

También podría gustarte