En el cuantificador universal siempre es una implicación, algo va a implicar otra cosa ,por ende voy a poner un entonces( ⇒ ).
En el cuantificador existencial es algo Y (^ conjunción ) cumple con otra cosa.
Los dos puntitos ( : ) o la barra ( \ ) significan “tal que” o también “verifica”.
La resolución de estos ejercicios es bastante sencilla, primero tengo que averiguar si se trata de un cuantificador universal o uno existencial y ya sabiendo si es uno o el otro tenemos el signo en el con el que comienza (∀ o ∃) , también sabiendo que si se trata de un cuantificador universal siempre denota una implicación vamos a tener un antecedente y un consecuente es por eso que las preposiciones van a estar unidas por una implicación (⇒) y por el otro lado, si es cuantificador existencial denota una conjunción (^), entonces ya tenemos la mayoría de la estructura armada solo ubicamos las funciones que hacen referencia a una proposición de cada lado y listo.
Los últimos ejercicios queda a cargo nuestro asignarle un nombre de función a la proposición, el resto funciona igual.
Existe un tercer cuantificador pero no lo utilizamos acá: ∃! existe y es único.
Para este punto tengo que escribir cada uno de los siguientes enunciados en forma de cuantificador.
Dice que no pueden comenzar con una negación por eso no podríamos empezar las soluciones de la siguiente manera
Nota: analizar si está hablando de un solo murciélago, de un grupo de murciélagos o de toda la especie de murciélagos. En este caso está hablando de todos entonces voy a utiliza el cuantificador para todo ∀(x) donde x es la variable qué me indica la consigna dentro de los paréntesis.
∀(x): para todo x tal que…
Ser murciélago tiene una consecuencia, la consecuencia es ser un mamífero, eso implica ser un mamífero.
Expresado como cuantificador quedaría así: