RE: OK Christians. your chance. Convince me of God.
September 21, 2012 at 1:15 am
(This post was last modified: September 21, 2012 at 1:24 am by Mystic.)
(September 21, 2012 at 1:13 am)Rhythm Wrote: Surely you mean "Not A" implies B. In which case you are drawing a positive conclusion from at least two negative premises. A no-no.
If you are hoping to call A a positive premise then you need to remove the "not" bit Mystic. However, if you remove the "not" bit you must then rework what follows. As In "If the book is from god......" unfortunately if you were to do so you would be left with,
If A, then B
B
Therefore A
Another textbook no-no
In logic, two not not is used. When you write in university, the step to cancel them out is called
(double negation) <-- you put that besides the step.
Hold on let me get that computer science text book out.
p -> q = not p or q
p -> q = not q -> not p
Rhythm...look up "Double negation".