Related terms:
logical connectives
neg p
logically equivalent
connectives
functionally complete
two sentences
original proposition
neg q
logical symbols
leftrightarrow
functional completeness
material conditional
contraposition
natural deduction
sufficient condition
rightarrow q
arity
truth value
conjunction elimination
raining outside
we will go
logical operation
then q
logical axioms
jill went up the hill
go swimming
Wikipedia sources:
Logical biconditional
If and only if
Logical connective
Propositional calculus
Transposition (logic)
Functional completeness
List of rules of inference
Contraposition
First-order logic
Truth table
Context for words:
biconditional
|
|