|
Related terms:
lor
forall
logic
boolean
quantifiers
proof theory
sentences
undecidable
biconditional
rightarrow
leftrightarrow
logical consequence
mathematical logic
Wikipedia sources: Model theory First-order logic Entailment Mathematical logic Context for words: compactness theorem |
|