Tarea 1

1. Coloca (E) si es enunciado, (P) si es proposición lógica y (EA) si se tratas de un enunciado

abierto
a. 4 es menor que ocho (P)
b. ¡Levanta esa pluma! (E)
c. Carlos es alto (P)
d. México es un país de América (P)
e. ¿Cómo te llamas? (E)
f. 6 es mayor que 10 ( P)
g. María es inteligente (P)
h. ¿Qué hora es? (E)
i. El sábado no hay clases (P)
j. 5 más 11 es 16 ( P)
k. El uno es el primer número natural (P)
l. El árbol (E)
m. 5x-2<13 (EA)
2. ¿Cuál es la diferencia entre enunciado y proposición lógica?
Un enunciado es un hecho real, mientras una proposición es una especulación o teoría.
3. ¿Cuál es la diferencia entre proposición lógica simple y proposición lógica
Compuesta?
La proposición simple es: Son aquellas que no se pueden dividir
Ejemplo: EL CIELO ES AZUL.
La proposición compuesta es: Son aquellas que están formadas por 2 o más proposiciones
simples.
Ejemplo: FUI AL BANCO PERO ESTABA CERRADO.
4. Indique de las proposiciones cuales son simples o compuestas
1. Gustavo no es alto (PC)
2. La ballena es roja (PS)
3. Teresa va a la escuela o María es inteligente (PC)
4. 4 es menor que 8 o 6 es mayor que 10 (PC)
5. Teresa va a la escuela (PS)
6. El 1 es el primer número primo y es mayor que cero (PC)
7. La raíz cuadrada de 16 es 4 (PS)
8. El 7 es mayor que 5 y 7 es menor que 10 (PC)
9. Si Yolanda es estudiosa entonces pasará el examen (PC)
10. Si corro rápido entonces llegaré temprano (PC)
11. Terminaré rápido si y sólo si me doy prisa (PC)
12. Aprenderé Matemáticas si y sólo si estudio mucho (PC)
13. Gustavo es alto (PS)

5. Simboliza las siguientes proposiciones:

a. No vi la película, pero leí la novela - P ˄ Q
b. Ni vi la película no leí la novela -P ˄ Q
c. No es cierto que viese la película y leyese la novela - (P ˄ Q )
 d. Vi la película aunque no leí la novela P ˄ – Q
e. No me gusta trasnochar ni madrugar -P ˄ - Q
f. Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura P <=> Q

6. Realiza la tabla de verdad de las siguientes proposiciones:

a. Pepe es bombero y María es camarera

P Q P˄Q
V V V
V F F
F V F
F F F

b. Pepe es bombero o María es camarera

P Q PvQ
V V V
F V V
V F V
F F F

c. Si Pepe es bombero, entonces María es camarera

P Q P=>Q
V V V
V F F
F V V
F F V

d. Pepe no es bombero
P -P
V F
F V

7. Simboliza
a. Si p, entonces q: P => Q
b. No es el caso que p y q: - (P ˄ Q )
c. p o no q: P v (-Q )
d. Si p y q, entonces no r o s : ( P ˄ Q ) => ( R v S )
e. Si p y q, entonces q, si y solo si: ( p ˄ q ) => ( q <=> )
f. p solamente si q y no r: ( p => q ) ˄ (-r)
g. Si p, entonces q, y si q, entonces p: ( p => q ) ˄ ( q => p)
8. Enlaza cada proposición con su formalización:

Llueve= p ; Hace sol=q

Proposición Enlaza Formalización

1 Llueve y hace sol 1 C A ¬p
2 Llueve y no hace sol 2D B Pvq
3 Llueve o hace sol 3 B C P ∧ q
4 Si no llueve, hace sol 5 A D P ∧¬ q
5 No es cierto que llueva 4 F E ¬¬p
6 No es cierto que no llueva 6 E F q↔¬p
↔↔
↔¬p

9. Enlaza cada proposición con su formalización:

Las estrellas emiten luz=p; los planetas reflejan la luz=q; los planetas giran alrededor de las
estrellas= r

Proposición Enlaza Formalización

1 Si las estrellas emiten luz, entonces los C A (p v q) ∧ r
planetas la reflejan y giran alrededor de ellas
2 Las estrellas emiten luz o los planetas la A B ¬(p ∧ q) → ¬ r
reflejan y, por otra parte, los planetas giran
alrededor de ellas
3 Los planetas reflejan luz si y sólo si las D C p → (q ∧ r)
estrellas la emiten y los planetas giran
alrededor de ella
4 Si no es cierto que las estrellas emiten luz y B D q ↔ (p ∧ r)
que los planetas la reflejan, entonces éstos no
giran alrededor de ellas
10.Formaliza las siguientes proposiciones
a. No es cierto que no me guste bailar - ( -p)
b. Me gusta bailar y leer libros de ciencia ficción p ˄ q
c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos -p => q
d. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre p
<=> q
e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un frenético p v q
f. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a
trabajar (r v s ) => (p ˄ q)