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

Jun 2010
1
0
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
Jun 2010
6,318
2,433
CT, USA
Clarification

Just to be clear - you're trying to prove the last line given the first two lines as premises?
 
Oct 2009
255
20
St. Louis Area
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?
 

Ackbeet

MHF Hall of Honor
Jun 2010
6,318
2,433
CT, USA
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?