Argumentación (En FOL)

Question 1

¿Qué significa FOL?

Answer 1

FIRST ORDER LOGIC: La lógica de primer orden, también llamada lógica de predicados, es un sistema formal que estudia la inferencia en los lenguajes de primer orden.

Question 2

Regla de Inferencia Modus Ponens Universal

Answer 2

∀x ∈ D,P(x)→Q(x)
P(a) para una a particular
∴ Q(a)

Question 3

Regla de Inferencia Modus Tollens Universal

Answer 3

∀x ∈ D,P(x)→Q(x)
¬Q(a) para una a particular
∴ ¬P(a)

Question 4

En lógica, la AFIRMACIÓN DEL CONSECUENTE, también llamado ERROR INVERSO, es una falacia formal que se comete al razonar según la siguiente forma argumental:

Answer 4

1. Si A, entonces B
2. B
3. Por lo tanto, A

Question 5

Los argumentos de estas formas son inválidos, porque la verdad de las premisas no garantiza la verdad de la conclusión.

Answer 5

Afirmación del consecuente

y Negación del Antecedente

Question 6

Podría ser que las premisas fueran todas verdaderas y la conclusión aun así sea falsa. Para estos dos tipos de error:

Answer 6

Afirmación del consecuente

y Negación del Antecedente

Question 7

En lógica, la NEGACIÓN DEL ANTECEDENTE es una FALACIA FORMAL que se comete al razonar según la siguiente forma argumental:

Answer 7

1. Si A, entonces B
2. No A
3. Por lo tanto, no B

Question 8

Regla de Inferencia de Instanciación Universal

Answer 8

∀x ∈ D,P(x)

∴ P(a) para cualquier a en el dominio D

Question 9

Regla de Inferencia de Cuantificación Existencial

Answer 9

P(a) para un a en el dominio D ∴∃x ∈ D,P(x)

Question 10

Regla de Inferencia de Instanciación Universal (Generalización)

Answer 10

P(t) para t cualquiera en el dominio D ∴∀x ∈ D,P(x)

Question 11

¿Qué es un argumento válido en FOL?

Answer 11

Es un argumento que es válido para cualquier interpretación posible.

Question 12

La CONTRAPOSITIVA de la afirmación ∀x ∈ D,(P(x)→Q(x)) es:

Answer 12

∀x ∈ D,(¬Q(x)→¬P(x))

Question 13

La RECÍPROCA de la afirmación ∀x ∈ D,(P(x)→Q(x)) es:

Answer 13

∀x ∈ D,(Q(x)→P(x))

Question 14

La INVERSA de la afirmación ∀x ∈ D,(P(x)→Q(x)) es:

Answer 14

∀x ∈ D,(¬P(x)→¬Q(x))

Question 15

La implicación y su contrapositiva son:

Answer 15

lógicamente equivalentes. (Si una es verdadera la otra también.)

Question 16

∀x, r(x) es una CONDICIÓN SUFICIENTE para s(x) significa:

Answer 16

∀x, r(x) → s(x)

Question 17

∀x, r(x) es una condición necesaria para s(x)

significa:

Answer 17

∀x, s(x) → r(x)

Question 18

∀x, r(x) sólo si s(x) significa:

Answer 18

∀x, ¬s(x) → ¬r(x)