Math: Formal proof
 

Ive beem beating my head against the wall trying to make a formal proof for this problem

(p v q) -> r
(q v r) -> (~s v t)
p ^ s
.: t

I havent been able to find any good help online and im just not getting anywhere so if anyone good at logic can help me id appreciate it.

College Homework Surfer. QED.

ask dr.math

all logic proofs have already been proved...this shouldnt be a hard one...but not something ill spend twenty minutes on...im going home to play video games instead

i hate math

College homework surfer? Ok......

math makes me sick.

Good luck.

I don,'t think I encountered that on my college algebra.

where are the numbers?

awwwwwww math

sorry dude, I can't help you with that equation.

(p v q) -> r equals (~s v t)[p ^ s]3

.: this is just a formula terminator so not relevant

Thats actually logic..
lets see if we can do it together..

p or q if then r on line 1. but i believe it becomes an and because its in bracktes, so p&q if then r for line 1

q or r if then it is not the case the s is x or t
p and s
therefore t.

shit man,, i forget which rule it is but you need to flip the first one around and change the cotraction to a conjunction to get the T by itself, then flip the entire second line but change the negative quantifier. then deduce and you should get your conclusion.
hope this helps
duke

It's a "i hate math world."

Any math wizard on this board?

i think i remember hearing something to this effect as I was on my way to sleep in class at some point... does someone want to remind me where these kinds of excercises come into play?

the answer is 4.

Lets see here

1. p v s 1. premise
2. p 2. simplifciation (1)
3. s 3. simplifciation (1)
4. (p v q) 4. premise
5. ~(p v q) -> r 5..Contiditional equivalence (4)
6 ~p v (q v r) 6 Associated equivalence (5)
7. q v r 7. Disjunctive syllogism (2,6)
8. (q v r) -> (~s v t) 8. Premise
9. ~s v t 9. Modus Pones (7)
10. T 10. Disjunctive syllogism (3,9)

hehe! almost everyone here hates math! same with me...doesn't liked it all! :)

I dont know what to say here so : Suck my balls will have to suffice