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

#### 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

#### Ackbeet

MHF Hall of Honor
Clarification

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

#### oldguynewstudent

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

What does > mean? greater than, contains?

What does ● mean? dot product?

What does / mean? not?

#### Ackbeet

MHF Hall of Honor
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?