Ejercicios

NOMBRE: DULCE ANDREA SYLLAS GUEVARA.

NOMBRE DEL CURSO: PROGRAMACIÓN LÓGICA Y FUNCIONAL
NOMBRE DEL TUTOR: ISC. JORGE LUIS ALONSO MORENO (JLALONSO_DEPAD_MQ@HOTMAIL.COM).
NOMBRE DE LA ASESORA: ISC. LUCIA RIVERA RIVERA
LUGAR: COLÓN, QUERÉTARO, MÉXICO.
FECHA:04 DE MAYO DE 2018.
Las expresiones ¿Cómo llegaste? ¿Qué estudias? ¿Habla usted inglés? No son proposiciones,
pues de su significado no se puede decir si es falso o verdadero. Las órdenes que se dan a otra persona
tampoco son proposiciones. ¿Cuáles de las expresiones siguientes son proposiciones? De las que no son
diga por qué.

1. Todas las naranjas son amarillas. Si es

2. Un rectángulo es una figura verde. Si es

3. Medellín es la ciudad de la eterna primavera. Si es

4. Hay triángulos que son rectángulos. Si es

5. Algunas manzanas son rojas. Si es

6. El frío es una ciencia. Si es

7. La filosofía es cuadrada. Si es

8. El universo es suave. Si es

9. El sol saldrá mañana. Si es

10. El banano es una fruta que ríe. Si es

11. Todos los triángulos son isósceles. Si es

12. Tómese la medicina. No es, esto es una orden y no se puede contestar sí o no.

13. ¿Cuáles son proposiciones? No es, es una pregunta a la cual no se puede responder con un sí o no.

14. El reconocimiento del pasado es separable del reconocimiento del futuro. Si es

15. El reconocimiento del futuro es separable del reconocimiento del pasado. Si es

16. El conocimiento del pasado es posible. Si es

17. El conocimiento del futuro es posible. Si es

18. Nada triunfa como el éxito. Si es

19. Nada fracasa al final como el éxito. Si es

Escribir en lógica proposicional:

• El gato es azul y come queso verde.

p: El gato es azul q: come queso verde.

p^q

• Permaneceré en casa si llueve.

p: Permanecer en casa q:si llueve

q=>p

• Mañana es martes o es miércoles.

p: Mañana es martes q:es miércoles

p v q

• El ser número par implica ser entero.

p: Es número par q: es entero

p => q

• Si es un número par entonces también es entero

p: Es un número par q: Es entero

p => q

• Es número par sólo si es entero

p: Es número par q: es entero

p↔q

• Es número entero si es par.

p: Es número entero q: es par

p => q

• Es entero siempre que sea par.

p: Es entero q: que sea par

p↔q

• El ser número par es condición suficiente para ser entero

p: El ser número par q: ser entero

p => q
• Ser número entero es condición necesaria para ser par

p: Ser número entero q: ser par

pq

• Si el cuadrilátero ABCD es un cuadrado entonces sus lados son iguales.

p: Si el cuadrilátero ABCD es un cuadrado q: sus lados son iguales.

p => q

• La aceleración de un cuerpo es proporcional al producto de su masa por la fuerza ejercida sobre

él.

• Juan es alto.

p: Juan es alto

• Juan es tío de María. p

p: Juan es tío de María

• Todos los majadistanenses son de Majadistán. Rudistein es Majadisranense. En consecuencia,

Rudistein es de Majadistan.