trabajo de logica

1.Plantea cinco expresiones asociadas a tu programa de
estudio que no sean proposiciones y cinco expresiones que, si lo sean, recuerda
que una proposición puede ser falsa y continúa siendo proposición.
Son Proposiciones
No son Proposiciones
Estudio Tecnología de sistemas
Pertenezco al programa de técnico en
programación web
La tutoría de lógica es los martes
Pertenezco al itfip
Matricule 12 créditos virtuales
2. Plantea el análisis de todos los casos y valores de verdad y escriba en forma simbólica,
según la siguiente proposición y los casos presen tentados.
En la mañana escribo mi programa de computación y en la tarde juego tenis
Caso 1: p = En la mañana escribo mi programa de computación
q = En la tarde juego tenis
En el que no termino de escribir mi programa de computador, pero juego tenis
Caso 2: En el que termino de escribir mi programa de computador, pero no juego
tenis
Caso 3:
Caso 4:
Ejercicio
propuesto
Caso 1
En la mañana escribo mi programa de computación
Caso 2
En el que termino de escribir mi programa de computador, pero
no juego tenis p^q=F
En el que no termino de escribir mi programa de computador y
tampoco juego tenis p˄q=F
En el que termino de escribir mi programa de computador y
también juego tenis p˄q=V
Caso 3
Caso 4
p = En la mañana escribo mi programa de computación
q = En la tarde juego tenis
En el que no termino de escribir mi programa de computador,
pero juego tenis
p^q=F
3. Plante 3 ejemplos de premisas r y s asociados con su programa de estudio, tal que
te permitan verificar el valor de verdad de la proposición compuesta r ∧ s . y r∨s, Use
como referencia los cuatro casos anteriores
Premisas elegidas:
Leo el módulo de Algoritmo o leo el módulo de lógica
matemática
r: leo el módulo de Algoritmo
s: leo el módulo de lógica matemática
Caso 1
Caso 2
Caso 3
Caso 4
En el que leo el módulo de algoritmo y leo el módulo de lógica
matemáticas
r˅s=V
En el que leo el modulo de algoritmo, pero no leo el módulo de
lógica matemáticas
r˅s=V
En el que no leo el módulo de algoritmo, pero si leo el módulo de
lógica matemáticas
r˅s=V
En el que no leo el módulo de algoritmo, pero tampoco leo el
módulo de lógica matemáticas
r˅s=F
4. Plantea cinco ejemplos de premisas asociados con su programa de estudio, y su
correspondiente negación. ¿Consideras que es necesario emplear siempre la palabra
NO para negar una proposición?
Premisa
Negación de la Premisa
Estudio técnico en programación web No estudio técnico en programación
web
La lógica matemática es la ciencia del Es falso que la lógica matemática es
pensamiento racional
la ciencia de pensamiento racional
Las tutorías tradicionales son los
Las tutorías tradicionales no son los
martes
martes
El técnico en programación web es
Es falso que el técnico en
un programa del Itfip
programación web sea un programa
del Itfip
Los ingenieros de sistemas saben
Los ingenieros de sistemas no saben
matemáticas
matemáticas
No es necesario el uso de la palabra No para negar las proposiciones
5. Elije una proposición condicional asociada con su programa de estudio y plante la
misma expresión de diferentes formas sin cambiar su sentido.
Proposición
Para aprobar técnico en programación web es
necesario aprobar lógica matemática
Si quiero aprobar técnico en programación web entonces
debo aprobar lógica matemática
Aprobare técnico en programación web solo si paso
lógica matemática
Manera1
Manera 2
Manera 3
Si apruebo técnico en programación web entonces
aprobé lógica matemática
Manera 4
Para aprobar técnico en programación web lo hare solo si
apruebo lógica matemática
6. Construye una proposición bicondicional con dos proposiciones asociadas a su
programa de estudio, luego rescribe la proposición bicondicional sin cambiar su
sentido. ¿Cuántas maneras diferentes de expresar la misma idea en leguaje natural
pueden aparecer?
Proposición 1: ser ingeniero en sistemas
Proposición 2: conocer principios de la ingeniería
Manera 1: seré ingeniero en sistemas si y solo si conozco los principios de la
ingeniería
Manera 2: Conoceré los principios de la ingeniería si y solo si soy ingeniero
de sistemas
7. De acuerdo a la definición estudiada para el bicondicional; para determinar los
valores de verdad
de la proposición bicondicional basta indagar por el valor de verdad de la conjunción
entre las
tabla
p
V
V
F
F
q
V
F
V
F
p⇒q
V
F
V
V
q⇒p
V
V
F
V
(p⇒q)∧( q⇒p)
V
F
F
V
p⇔q
V
F
F
V
8. Determinar los posibles valores de verdad para las proposiciones mediante el uso
de las tablas de
verdad correspondientes
1) p ˄ ¬q
p
V
V
F
F
¬q
F
V
F
V
q
V
F
V
F
p˄¬q
F
V
F
F
2) ¬p ˄ ¬q
p
V
V
F
F
¬p
F
F
V
V
q
V
F
V
F
¬q
F
V
F
V
p˄¬q
F
F
F
V
3) p → ¬q
p
V
V
F
F
¬q
F
V
F
V
q
V
F
V
F
p → ¬q
F
V
V
V
4) p ˅ p
p
V
V
F
F
p˅p
V
V
F
F
p
V
V
F
F
5) ¬( p ˄ ¬q)
p
q
¬q
p ˄ ¬q
¬( p ˄ ¬q)
V
V
V
F
F
V
F
V
V
F
F
F
V
F
F
V
F
F
V
V
6) ¬[( p ˄¬q)→(¬p ˅ q)]
p
q
¬p
¬q
p ˄¬q
¬p ˅ q
( p ˄¬q)→(¬p ˅ q)
¬[( p ˄¬q)→(¬p ˅ q)]
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
F
V
F
F
V
F
V
V
V
F
V
V
F
V
F
F
7). ( p ˄q)˅(r ˄ s)
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
S
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
p ˄q
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
r˄s
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F
( p ˄q)˅(r ˄ s)
V
V
V
V
V
F
F
F
V
F
F
F
V
F
F
F