Each question in this quiz is timed.
¿Qué es la Instanciación ?
Es una ley que se aplica en la prueba formal de validez
Es una ley que permite sustituir una variable por otra variable
Es una ley que no permite sustituir
La generalización universal y existencial consiste en asignarle un sujeto a la expresión.
¿Qué es una función proposicional?
Es aquella que permite generar proposiciones instanciando únicamente una vez
Es aquella que permite generar proposiciones sin la necesidad de instanciar
Es aquella que permite generar proposiciones instanciando n cantidad de veces
Según el Cuadro lógico de Oposición las oraciones tipo E y las oraciones tipo I son:
Contrarias
Contradictorias
Sub-Contrarias
Según el Cuadro lógico de Oposición las oraciones tipo A y las oraciones tipo O son:
El precursor de la Teoría de Conjuntos fue Georg Cantor.
¿Qué es el Diagrama de Euler?
Es un diagrama o esquema que permite representar proposiciones
Es un diagrama o esquema que permite representar a los conjuntos y sus relaciones.
Es un diagrama o esquema que permite representar gráficos.
Los cuantificadores son:
Universal y Existencial
Universal , Existencial e Instanciación
Universal , Existencial , Instanciación y Ejemplificación
Se consideran contrarias según el cuadro lógico de oposición las oraciones tipo:
A y O
O y E
A y E
Se consideran Variables Proposicionales las letras:
Mimísculas
Mayúsculas
X,Y,Z
Los sujetos se denotan con letras
Minúsculas
N/A
La variable para denotar personas es la letra:
X
Y
Los atributos se denotan con letras:
Se debe simbolizar con:
La primera letra
La primera letra de la palabra raíz de la expresión
Las letras X,Y,Z
El Diagrama de Euler permite representar conjuntos
Las expresiones contrarias según el cuadro lógico de oposición son equivalentes.
¿Qué es la Generalización Existencial ?
Es una ley que permite sustituir al sujeto por una variable proposicional.
Es una ley que permite sustituir la variable por un sujeto.
La Generalización Universal es una ley que se aplica generalmente al final de las demostraciones de prueba formal de validez.
La Ejemplificación Universal permite sustituir un sujeto por una variable.
¿Qué son los Cuantificadores?
Son símbolos utilizados para indicar cuántos o qué tipos de elementos de un conjunto dado cumplen con cierta propiedad además permiten la generalización de las expresiones.
Son símbolos utilizados para indicar cuántos tipos de elementos de un conjunto dado cumplen con la propiedad de instanciar.
