Cuantificadores

Page 1

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


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.
Cuantificadores by Carla Mariel Ramos - Issuu