1.2 FUNCIONES PROPOSICIONALES

Question 1

Conjuntos de Verdad

Answer 1

Conjunto de todas las asignaciones de valores de verdad que hacen que una proposición sea verdadera.

Question 2

Cuantificadores : Universal

Answer 2

( ∀ ): Expresa que una proposición es verdadera para todos los elementos de un dominio. Ejemplo: ∀x(x>0).

Question 3

Negación de Cuantificadores

Answer 3

¬∀xP(x) es equivalente a ∃x¬P(x).

¬∃xP(x) es equivalente a ∀x¬P(x).

Question 4

Cuantificadores : Existencial

Answer 4

( ∃ ): Expresa que existe al menos un elemento del dominio para el cual la proposición es verdadera. Ejemplo: ∃x(x>0).