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
Follow Math Help Forum on Facebook and Google+
Just to be clear - you're trying to prove the last line given the first two lines as premises?
Originally Posted by josie141 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 I don't understand your notation. What does > mean? greater than, contains? What does ● mean? dot product? What does / mean? not?
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?
View Tag Cloud