Posts about Lógica de primer orden RSS feed 29-05-2024La paradoja del barbero 30-11-2023Si (∃x)¬P(x), entonces ¬(∀x)P(x) 29-11-2023Si ¬(∀x)P(x), entonces (∃x)¬P(x) 28-11-2023Si (∀x)¬P(x), entonces ¬(∃x)P(x). 27-11-2023Si ¬(∃x)P(x), entonces (∀x)¬P(x) 24-11-2023Si (∀ε > 0)[x ≤ ε], entonces x ≤ 0