10.Lógica Cuantificacional

Question 1

Por qué la LC es monádica?

Answer 1

Porque expresa props de individuos

Question 2

Otro nombre de LC

Answer 2

.Lógica cuantificacional monádica de primer orden

.Lógica de predicados, proposiciones, categorías clásicas y cuantificadores

Question 3

Por qué la LC es de 1er orden?

Answer 3

Porque solo cuantifica variables

Question 4

Cuál es el obj de LC?

Answer 4

Analizar la validez de los razonamientos

Question 5

Cómo se divide la sintaxis de LC?

Answer 5

.Símbolos primitivos
.Metavariables
.Reglas de formación

Question 6

Tipos de individuos

Answer 6

Definidos (seres identificables)

Indefinidos (seres no determinados)

Question 7

Tipos de predicados

Answer 7

.Monádicos (expresiones que designan props de individuos)

.Poliádicos (expresiones que designan relaciones entre individuos)

Question 8

Tipos de cuantificadores

Answer 8

.Universal

.Existencial

Question 9

Los símbolos primitivos se dividen en…

Answer 9

Constantes individuales (a, b, c)
Variables individuales (x, y, z)
Símbolos predicativos (A, B, C)
Cuantificadores (¥, €)
Símbolos de LP

Question 10

Tipos de metavariables

Answer 10

Cualquier fbf: A, B, C
Para predicados: letras griegas mayúsculas
Para todo individuo: alfa (a, b, x, y)
Para variables individuales: beta
Para constantes individuales: gama

Question 11

Cuáles son las reglas de formación?

Answer 11

.Las 4 reglas ya conocidas
.Todo predicado seguido de variable o constante es fbf
.Si A es fbf, entonces (¥x)A y (€x)A son fbfs

Question 12

Cómo se denominan las fórmulas que están bajo el dominio de un cuantificador?

Answer 12

Operandos del cuantificador

Question 13

Que es una variable libre?

Answer 13

Es aquella que NO es un operando de un cuantificador o NO está cuantificada a pesar de ser operando de algún cuantificador

Question 14

Qué es una variable ligada?

Answer 14

Es aquella que está bajo el dom del cuantificador y a la vez aparece cuantificada

Question 15

Cuando una fbf es abierta?

Answer 15

.Cuando exhibe por lo menos una variable libre

.No tiene sentido de verdad o falsedad

Question 16

Cuando una fbf es cerrada?

Answer 16

.Cuando no tiene variables libres

.Pueden ser interpretadas semánticamente como V o F

Question 17

Por qué necesitamos LC y no solo LP?

Answer 17

Porque permite determinar la validez de inferencias cuya validez está determinada por sus relaciones inter e intraproposicionales