Related terms:
q
lor
neg
iff
arity
vdash
supset
forall
logic
boolean
implication
sentences
disjunction
two sentences
leftrightarrow
rightarrow
logical symbols
logically valid
statement
propositional
natural deduction
logical connectives
if and only if
compactness theorem
propositional logic
mathematical logic
Wikipedia sources:
If and only if
Entailment
Propositional calculus
Logical connective
First-order logic
Context for words:
biconditional
|
|