Posted: May 18, 2012 6:58 am
Actually @Thommo I will attempt to explain why you cannot talk about non-existent "x's" in classical logic before I end my discourse on the subject.
If x doesn't exist, there is no true statement that can be possible made about x. If x doesnt exist, x is meaningless. X->,V,=,etc y cannot possibly be true. -x is not true either, It is vacuous.
If x doesn't exist, there is no true statement that can be possible made about x. If x doesnt exist, x is meaningless. X->,V,=,etc y cannot possibly be true. -x is not true either, It is vacuous.