⌘K

Áreas

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats1 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Nivel

①Secundaria ②Bachillerato1 ③Grado3 ④Posgrado1 ⑤Investigación

Formato

≡Curso ◈Explicación4 ◉Análisis1 ▶Ensayo visual ✎Ejercicio

Explorar/Foundations & Logic/First order logic

First order logic

Ningún artículo

First order predicate Predicate mathematical logic Predicate variable Second order predicate Monadic predicate calculus Quantifier logic Existential quantification Universal quantification Uniqueness quantification Generalized quantifier Lindstrom quantifier Plural quantification Free logic Empty domain Skolem function Skolem hull Herbrand interpretation Herbrand structure Herbrand universe Nonfirstorderizability Many sorted logic Diagram mathematical logic Elementary diagram

∅

Todavía no hay artículos en esta categoría — están en camino.

Tendencias

1

x + 1/x = 3, y la escalera hasta x⁵ + 1/x⁵Algebra · 7 min

2

Por qué los triángulos aleatorios atrapan el centro del círculo una de cada cuatro vecesProbability & Statistics · 9 min

3

Máquinas de vectores de soporte: gana la calle más anchaMathematics & Computer Science · 8 min

Recientes

•

Todo torneo contiene una cadena ganadora (teorema de Rédei)Explainer · 7 min

•

¿Qué polinomios aplican ℚ sobre ℚ? La respuesta completaDeep dive · 11 min

Los nuevos artículos, directos a tu correo

Acepto recibir emails de Lambdia y he leído la política de privacidad. Baja en cualquier momento.

Síguenos

© 2026 LambdiaTérminos · Privacidad · El ebook