Talk:Conditional proof

Short description
I added the short description: "formal proof." If anyone can improve on this, that would be much appreciated (if seen fit). As it stands, it appears fine for now.

SpiralSource (talk) 12:55, 31 December 2021 (UTC)

Untitled
I feel the example given is too similar to syllogism and thus slightly confusing. A better example is as follows, from http://marauder.millersville.edu/~bikenaga/mathproof/condproof/condproof.pdf:

As an example of a conditional proof in symbolic logic, suppose we want to prove (A &rarr; B)&rarr; ~C (If [If A, then B], then not C)from the first two premises below:

The conclusion ∼ C was deduced on line 8. Together with the assumption A → B in line 3, this proves the conditional (A → B) → C. —Preceding unsigned comment added by 70.18.214.96 (talk) 01:04, 25 July 2009 (UTC)