Solucion
Solucion
Solucion
El trabajo se debe realizar con 4 integrantes. Se debe presentar una portada (nombres y apellidos,
compañía, sección, asignatura, fecha de envío, el logo de la escuela y el año (Ver normas APA). La
actividad se debe enviar en Word. Si se copian imágenes o se coloca información exacta de una
fuente, debe anexar la bibliografía o cibergrafía con normas APA. Para la escritura matemática
debe utilizar el editor de ecuaciones de Word.
Parte I. Señalar cada proposición atómica con una A y cada proposición molecular con una M.
Escribir junto a cada proposición molecular el término de enlace utilizado:
11. Si los gatitos llevan mitones, entonces los gatos pueden llevar sombreros.
MOLECULAR=CONDICIONAL
18. Si los deseos fueran caballos, entonces los mendigos cabalgarían. MOLECULA=CONDICIONAL
PARTE II. Formar cuatro proposiciones moleculares utilizando una o dos de las proposiciones
escritas a continuación junto con un término de enlace. Por ejemplo, se puede poner el término
de enlace “y” entre dos de ellas y también se puede utilizar la misma proposición atómica más de
una vez. Utilícese cada uno de los cuatro términos una sola vez, de manera que cada una de las
proposiciones moleculares tenga distinto término de enlace.
Solución
- La lluvia puede ser la causa de que abandone la carrera o Pablo podría ganar fácilmente.
- El amigo de Juan tiene razón todavía no tendríamos tiempo de llegar a las siete.
- El viento sopla muy fuerte entonces veremos qué planes hay mañana.
- El amigo de juan tiene razón y estábamos confundidos respecto a la hora de la junta.
PARTE III. Decir cuáles son los términos de enlace en las proposiciones siguientes. Decir cuántas
proposiciones atómicas se encuentran en cada proposición molecular. Recuérdese que “si...,
entonces” es un solo término de enlace.
PARTE IV. Escribir primero cinco proposiciones atómicas y formar después cinco proposiciones
moleculares.
1. De las siguientes proposiciones, determine cuáles de ellas son equivalente entre sí.
A. ¬p ∨ ¬q
B. ¬(p ∧ q)
C. ¬p ∧ ¬q
D. ¬(p ∨ q)
E. ¬(¬p → q)
F. p → ¬q
RTA: A, B, F, son equivalentes entre sí.
C, D, E son equivalente entre sí.
A. B.
p q ¬p ¬q ¬p ∨ ¬q p q (p ∧ q) ¬(p ∧ q)
V V V F
V V F F F
V F F V
V F F V V
F V V F V F V F V
F F V V V F F F V
p q ¬p ∧ ¬q p q
V V V V V V
V F F V F F
F V F F V F
F F F F F F
PARTE VI
PARTE VII
1. De la página
http://cidecame.uaeh.edu.mx/lcc/mapa/PROYECTO/libro7/153_tablas_semnticas.html
demostrar la igualdad usando las tablas de .verdad.