Академический Документы
Профессиональный Документы
Культура Документы
B. Cuantificador Universal.
Cuantificadores.
Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo
de elementos de un conjunto dado cumplen con cierta propiedad (por
ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de
cuantificadores, entre los más utilizados está:
Cuantificador Universal:
En lógica, se usa el símbolo ∀, denominado cuantificador
universal, antepuesto a una variable para decir que "para todo" elemento
de un cierto conjunto se cumple la proposición dada a continuación. En
texto se puede representar con el carácter ∀.
Normalmente, en lógica, el conjunto al que se refiere es el universo o
dominio de referencia, en el cual aparecen todas las constantes.
Ejemplo:
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:
A⊂B∧A≠B∧A≠∅
∀x∈A⇒x∈B
¬∀y∈B:y∈A
Es decir: no para todo elemento y de B se cumple que y también
pertenezca a A.
Condiciones de entrega:
Nombre el archivo de su aporte de la siguiente manera: ejercicio 1
unidad 1_nombre del estudiante
Presentar el desarrollo en un documento en Word en el foro de la
tarea que se encuentra en el entorno de aprendizaje colaborativo
Debe explicar con claridad el tema seleccionado
Dar dos ejemplos de la temática
Respuestas que sean contestadas sin referentes bibliográficos o
desde la opinión no serán valoradas.
Debe referenciar adecuadamente la bibliografía consultada para el
desarrollo de esta tarea (revisar normas APA).
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
Definir las proposiciones simples del argumento.
p: Voy de vacaciones a San Bernardo del Viento
q: Voy a Capurgana
r: viajo a Amazonas
Definir la expresión del argumento en lenguaje simbólico o formal.
Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.
p v q v r
Truth table:
p q r pvqvr
V V V V
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F F
B. {(𝑝⟶𝑞)∧(𝑟⟶p)}⟶( 𝑝⟶𝑞)
V V F V V V V V
V F V F V F F V
V F F F V F F V
F V V V F F V V
F V F V V V V V
F F V V F F V V
F F F V V V V V