J josie141 Jun 2010 1 0 Jun 5, 2010 #1 Hi, need help with some logic...i'm so bad at it! Thanks! Need it to be used with the Conditional. A > (R>S) (A v B) > {[R > (R ● S)] > T} / A> T

Hi, need help with some logic...i'm so bad at it! Thanks! Need it to be used with the Conditional. A > (R>S) (A v B) > {[R > (R ● S)] > T} / A> T

A Ackbeet MHF Hall of Honor Jun 2010 6,318 2,433 CT, USA Jun 5, 2010 #2 Clarification Just to be clear - you're trying to prove the last line given the first two lines as premises?

Clarification Just to be clear - you're trying to prove the last line given the first two lines as premises?

oldguynewstudent Oct 2009 255 20 St. Louis Area Jun 5, 2010 #3 josie141 said: Hi, need help with some logic...i'm so bad at it! Thanks! Need it to be used with the Conditional. A > (R>S) (A v B) > {[R > (R ● S)] > T} / A> T Click to expand... I don't understand your notation. What does > mean? greater than, contains? What does ● mean? dot product? What does / mean? not?

josie141 said: Hi, need help with some logic...i'm so bad at it! Thanks! Need it to be used with the Conditional. A > (R>S) (A v B) > {[R > (R ● S)] > T} / A> T Click to expand... I don't understand your notation. What does > mean? greater than, contains? What does ● mean? dot product? What does / mean? not?

A Ackbeet MHF Hall of Honor Jun 2010 6,318 2,433 CT, USA Jun 5, 2010 #4 My guess: You want to show the following: \(\displaystyle A\to(R\to S)\) \(\displaystyle (A\vee B)\to\{[R\to(R\land S)]\to T\}\) ----- \(\displaystyle \therefore A\to T\) Is that correct?

My guess: You want to show the following: \(\displaystyle A\to(R\to S)\) \(\displaystyle (A\vee B)\to\{[R\to(R\land S)]\to T\}\) ----- \(\displaystyle \therefore A\to T\) Is that correct?