Related terms:
lor
neg
lnot
arity
vdash
supset
forall
valid
exists
mathbb
boolean
implies
negation
implication
disjunction
truth value
truth table
relation
sentences
biconditional
rightarrow
propositional
logically valid
natural deduction
if and only if
logical connectives
propositional logic
compactness theorem
mathematical logic
propositional variables
Wikipedia sources:
Logical connective
First-order logic
Entailment
Propositional calculus
EPR paradox
Bijection
Galvanic cell
Tautology (logic)
Context for words:
leftrightarrow
|
|