Implication Elimination
If we wish to prove a sentence of the form
P1 implies P2
then it suffices to prove
P2
assuming
P1
and whatever other axioms
A
are in force.
More formally,
A |= (P1 => P2) ----> (A and P1) |= P2
[
Next
] [
Prev
] [
Home
] [
BHome
]
12 October 1996