Quote (Thor123422 @ Oct 13 2012 01:45am)
The existence of A implies that something is necessarily possible, but something being necessarily possible doesn't imply the existence of A
P -> Q does not mean Q -> P
I did not use a reversed proposition, ◊□A→A can be proven from A→□◊A.
Do you really need me to type out the proof?
Quote (Azrad @ Oct 13 2012 01:46am)
I did.
This is what I see (edited)
1. wishy washy statement
2. wishy washy statement
3. conclusion based on wishy washy statements
Wow that's almost opposite of what it is.
1. definition of a newly created variable
2. definition ^
3. premise