Related terms:
predicate symbol
equality relation
logically valid
logical connectives
bound variables
interpretation function
punctuation symbols
strings of symbols
binary connectives
logical axioms
constant symbol
possible interpretations
inductive definition
two sentences
forall z
first order logic
leibniz's law
relation symbol
automated theorem proving
modal operator
atomic formula
lor b
function symbol
existential quantifier
automated theorem
lnot p
biconditional
Wikipedia sources:
First-order logic
If and only if
Interpretation (logic)
List of logic symbols
Context for words:
logical
symbols
|
|