Talentum
Fundamentos de cálculo
CUANTIFICADORES 01. Traduzca al lenguaje simbólico de lógica formal las siguientes proposiciones. a) En el banco de la esquina, alguien hizo sonar la alarma y todos salieron corriendo. b) Si todos los expertos creen que fumar es dañino, entonces todos deberán dejar de fumar. c) En este colegio, si es feriado, entonces todos los estudiantes están fuera del colegio. Resolución a) “En el banco de la esquina” Sea B el conjunto de personas del banco de la esquina “alguien hizo sonar la alarma” Sea P(x): x hizo sonar la alarma › x 0 B, P(x) “todos salieron corriendo” Sea Q(x): x salió corriendo: œ x 0 B, Q(x) Entonces la proposición:
“En el banco de la esquina, alguien hizo sonar la alarma y todos salieron corriendo” se puede escribir como: ( › x 0 B, P(x) ) v ( œ x 0 B, Q(x) ) b) Sea E el conjunto de expertos
“todos los expertos creen que fumar es dañino” Sea P(x): x cree que fumar es dañino œ x 0 E, P(x)
“todos deberán dejar de fumar” Sea U el universo de personas Sea Q(x): x deberá dejar de fumar: œ x 0 U, Q(x) Entonces la proposición:
“Si todos los expertos creen que fumar es dañino, entonces todos deberán dejar de fumar” se traduce como: ( œ x 0 E, P(x) ) ÷ ( œ x 0 U, Q(x) ) c)
“En este colegio” Sea C el conjunto de estudiantes de este colegio
“es feriado” Sea F = es feriado
“todos los estudiantes están fuera del colegio” Sea P(x): x esta fuera del colegio œ x 0 C, P(x) Entonces la proposición:
“En este colegio, si es feriado, entonces todos los estudiantes están fuera del colegio” se representa por: F ÷ ( œ x 0 C, P(x) )
San Miguel G 719-8151
1
Av. Elmer Faucett 255