hi, im sorry for posting this very off-topic message on discrete logic. i know there are several comsci teachers/students here. can someone point out to me if the following trivial chain of reasoning is valid? 1) Q<=>P premise 2) ~Q->R premise 3) ~P->R (due to equivalence Q<=>P) : : is my substitution in (3) proper? i'm sure it's logical. Though I can expand (1) further, im just curious if such a direct substition is acceptable in a structure chain of reasoning (thus shortening the solution). Sorry for the off-topic msg again. Private responses please :) thanks! Mary Christie __________________________________________________ Do You Yahoo!? Get personalized email addresses from Yahoo! Mail http://personal.mail.yahoo.com/ _ Philippine Linux Users Group. Web site and archives at http://plug.linux.org.ph To leave: send "unsubscribe" in the body to [EMAIL PROTECTED] To subscribe to the Linux Newbies' List: send "subscribe" in the body to [EMAIL PROTECTED]
