Predicate logic

[377/78%]

Subtopics

Equivalence relations and naive set theory[55/64%]
Formalizing statements in logic[53/66%]
Hilbert-style calculi[44/75%]
First-order formalization and definability in structures[38/71%]
Axiomatizable classes[31/87%]
Finite and infinite models, model sizes and spectra[25/88%]
Gödel's completeness theorem[21/95%]
Elementary substructures, extensions and embeddings[17/94%]
Syntax of logical formulas and terms[14/64%]
Quantifier equivalences and the replacement theorem[13/77%]
Predicate logic and relational databases[12/100%]
Substructures, embeddings and universal classes[12/83%]
Basic lemmas on satisfiability and validity[9/67%]
Showing that a converse is false[9/67%]
Prenex normal form[8/75%]
Skolem functions and Skolem normal form[8/88%]
Monadic predicate logic[7/100%]
Decidability of logical theories[4/100%]
Determining the truth value of a formula in a given interpretation[4/100%]
Free and bound variables, and substitution into a formula[4/100%]
Craig interpolation theorem[3/100%]
Sequent-calculus derivations in predicate logic[3/67%]
Reducing quantifier-free formulas to propositional logic[2/100%]