Related terms:
neg p
conjunction elimination
raining outside
lor q
propositional variables
irreducible fraction
neg b
inductive step
original proposition
deduction theorem
truth assignment
modus tollens
rightarrow q
heyting algebra
statement is true
logically equivalent
biconditional
logically valid
material conditional
modus ponens
contraposition
untrue
four sides
neg
Wikipedia sources:
Contraposition
Inverse (logic)
Modus tollens
Propositional calculus
Context for words:
neg
q
|
|