|
Math Logic
|
 
2011-03-08, 03:32 PM
Darkmaniak Wrote:That's the step that intrigues me, how do you get to do that, what properties are you using? Logically speaking, I think "p implies q" being untrue means p has to be true but does not point towards q (thus ¬q is true simultaneously with p), because if p is not true and p implies q is true, it doesn't lead anywhere. |
|
« Next Oldest | Next Newest »
|
| Messages In This Thread |
|
Math Logic - by Manu - 2011-03-08, 02:13 PM
Math Logic - by OB3LISK - 2011-03-08, 02:28 PM
Math Logic - by Shidoshi - 2011-03-08, 02:30 PM
Math Logic - by HellenzSin - 2011-03-08, 03:00 PM
Math Logic - by Kalovale - 2011-03-08, 03:15 PM
Math Logic - by Manu - 2011-03-08, 03:23 PM
Math Logic - by OB3LISK - 2011-03-08, 03:23 PM
Math Logic - by Kalovale - 2011-03-08, 03:32 PM
Math Logic - by HellenzSin - 2011-03-08, 03:49 PM
Math Logic - by shouri - 2011-03-08, 04:02 PM
Math Logic - by Manu - 2011-03-08, 04:11 PM
Math Logic - by HellenzSin - 2011-03-08, 04:12 PM
Math Logic - by Shidoshi - 2011-03-08, 04:15 PM
Math Logic - by HellenzSin - 2011-03-08, 04:49 PM
|
