How is "interpretation" used differently in propositional vs. first-order logic?
103653
Interpretations and models in propositional logic
122015
"This statement is false" - Propositional Logic
9077
Proof that no term (of a language of predicate logic) is a (non-empty) initial segment of another
139726
differentiating between the usages of "seem"
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
53199
First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
79695
Logical operators OR AND in condition and order of conditions in WHERE
36726
How Implication or Material/Concrete Conditional works when the antecedent is false and the consequent is true
156121
Existential-universal vs Universal-existential quantifiers
28281
Different standards for writing down logical quantifiers in a formal way
141952
Is there a decision procedure for intuitionistic propositional logic?
103342
Why should we care about syntactic proofs if we can show semantically that statements are true?
12569
Using the terms 'theorem 'and 'tautology'
32244
Propositional Logic - Deduction
94415
Existential import: in logic, do propositions default to true or false when objects in them do not exist?
56191
How to demystify the axioms of propositional logic?
73231
Why in implication, if premise is false then implication is true?