Profile of frank2010
Last seen: 11/21/09 - 01:09 AM
 frank2010 | |
|
Contact Information Guestbook: View or sign guestbook (0)
|
Biographical Information |
|
Membership Status Registration Date: Oct 11, 2009 Usergroup: Members Topics Submitted: 2 topics Total Posts: 32 (1 per day) Replies Received: 10 Shouts: 0 Total Time Online: 0 days, 11 hours and 20 minutes |
Submission History Most recent topics: Modal logic exerciseMost recent posts: I'm sorry, I didn't really mean to confuse you. My 'A's stand for 'Assumption', my 'H' stands for hypothesis, &I i...It's the conditional introduction. 1) T -> U, A 2) T -> V, A 3) | T, H for ->I 4) | U, 1,3 MP 5) | V, 2,3 MP 6) | U & V, 4,5 &I 7) T -> (U & V), 3-6 ->I ... 1) There is a number between 4 and 6 so 2) There are numbers. ;-) I think the existence of numbers is unquestionable. The real question ... Yes, you can do it. The general form is ((A v B) > M) <-> ((A > M) & (B > M)) Find all posts posted by frank2010 |
