# Math Help - Need help with a conditional logic problem...ASAP! Thanks!

1. ## Need help with a conditional logic problem...ASAP! Thanks!

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

2. ## Clarification

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

3. 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?

4. My guess:

You want to show the following:

$A\to(R\to S)$
$(A\vee B)\to\{[R\to(R\land S)]\to T\}$
-----
$\therefore A\to T$

Is that correct?