Syntax of First Order Logic
3119
Distribution of Universal Quantifiers
67683
Building logical criteria (with AND , OR, etc)
18407
Must "first" be followed by "second"?
29110
Propositional Intuitionistic Logic Question
96748
Formal deductions on Hilbert system
108292
Precedence between implication and bi-implication
86248
Is $\exists x(x=a)$ a valid formula in first order logic with equality?
31979
Notation: Why write the differential first?
139170
Syntactic characterisation of the intersection of CTL and LTL
16187
proof of functional completeness of logical operators
19604
Complete first order theory with finite model is categorical
53199
First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
122184
De Morgan's laws in logic and set theory
37146
What is the grammar rule here? How do I explain this in a simple way?
17
First Order Language for vector spaces over fields
125950
Proof strategy involving first order logic for existential quantification at very beginning
35868
Elementary properties of closure