Ask your own question, for FREE!
Mathematics 20 Online
OpenStudy (anonymous):

Logic Help! Prove: R 1. S -> ~T (premise) 2. T (premise) 3. ~S -> R (premise)

OpenStudy (anonymous):

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

OpenStudy (amistre64):

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

OpenStudy (anonymous):

Prove that R is a true statement

OpenStudy (amistre64):

lol ... first i have to understand the question

OpenStudy (anonymous):

what does it mean that everything is a premise ?

OpenStudy (anonymous):

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."

OpenStudy (anonymous):

I was asking amistre - what it actually means :)

OpenStudy (amistre64):

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

OpenStudy (amistre64):

premise i think means, assume its true

OpenStudy (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

OpenStudy (anonymous):

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

OpenStudy (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

OpenStudy (anonymous):

Thanks. I'll go with this.

OpenStudy (amistre64):

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

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!