## a123 4 years ago Logic Help! Prove: R 1. S -> ~T (premise) 2. T (premise) 3. ~S -> R (premise)

1. fiddlearound

have no fear, amistre the logician is here ! :)

2. amistre64

(s -> -t) = (-s -> r) prove this?

3. a123

Prove that R is a true statement

4. amistre64

lol ... first i have to understand the question

5. fiddlearound

what does it mean that everything is a premise ?

6. a123

That means that they gave us that information in the book, and I have to complete the proof using that information. It's like the "given."

7. fiddlearound

I was asking amistre - what it actually means :)

8. amistre64

dunno, i think thats the next chapter in class :)

9. amistre64

premise i think means, assume its true

10. amistre64

S -> ~T = 1 when S=0 and T = 1, 0; and when S=1 and T=0 T = 1; so S = 0 ~S -> R = 1 -0 -> R = 1 when R = 1

11. a123

Premise means it is given. It is presumed to be true.

12. amistre64

S -> -T 1 -> 0 = 0 1 -> 1 = 1 0 -> 0 = 1 0 -> 1 = 1 T = 1 0 -> 0 = 1 -S -> R 1 -> 0 = 0 1 -> 1 = 1

13. a123

Thanks. I'll go with this.

14. amistre64

i got know idea how to write it out better :)

Find more explanations on OpenStudy