Math: Formal proof - GoFuckYourself.com - Adult Webmaster Forum

X

The Duck

Adult Content Provider

Join Date: May 2005

Posts: 18243
Share

Post
#1

Math: Formal proof

11-28-2005, 01:29 PM

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.

Skype Horusmaia
ICQ 41555245
Email [email protected]
Tags: None
gornyhuy

Chafed.

Join Date: May 2002

Posts: 18041
Share

Post
#2

11-28-2005, 01:36 PM

College Homework Surfer. QED.

icq:159548293
Comment
Phoenix

BACON BACON BACON

Join Date: Nov 2002

Posts: 35475
Share

Post
#3

11-28-2005, 01:36 PM

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

Telegram PhoenixBrad
https://quantads.io
Comment
artman

Confirmed User

Join Date: Nov 2005

Posts: 770
Share

Post
#4

11-28-2005, 01:37 PM

i hate math
Comment
The Duck

Adult Content Provider

Join Date: May 2005

Posts: 18243
Share

Post
#5

11-28-2005, 01:39 PM

Originally posted by gornyhuy

College Homework Surfer. QED.

College homework surfer? Ok......

Skype Horusmaia
ICQ 41555245
Email [email protected]
Comment
L4 libido

Confirmed User

Join Date: Nov 2005

Posts: 222
Share

Post
#6

11-28-2005, 04:08 PM

math makes me sick.
Comment
Elli

Reach for those stars!

Join Date: Apr 2003

Posts: 17991
Share

Post
#7

11-28-2005, 04:21 PM

Good luck.

email: [email protected]
Comment
Fizzgig

Registered User

Join Date: Feb 2004

Posts: 9649
Share

Post
#8

11-28-2005, 04:33 PM

http://www.anvari.org/fun/Gender/Pro..._are_Evil.html

---'-,-{@ Sassy Grrrl @}-'-,---
Comment
PixeLs

Too lazy to set a custom title

Join Date: Jul 2005

Posts: 11922
Share

Post
#9

11-28-2005, 08:12 PM

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

Make money on any traffic.
Bi-weekly payments with no hold.
Comment
3M TA3

Confirmed User

Join Date: Aug 2005

Posts: 2972
Share

Post
#10

11-28-2005, 09:43 PM

Originally posted by kandah

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.

where are the numbers?

Dedicated and colo hosting: ICQ 291313057

"A problem cannot be solved from the same consciousness that created it. We must learn to see the world anew." - Albert Einstein
Comment
tony286

lurker

Join Date: Aug 2002

Posts: 57021
Share

Post
#11

11-28-2005, 09:43 PM

awwwwwww math
Comment
knoxville

Confirmed User

Join Date: Nov 2005

Posts: 367
Share

Post
#12

11-28-2005, 09:59 PM

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

salad tossing sig guy

Join Date: Apr 2002

Posts: 11702
Share

Post
#13

11-28-2005, 10:01 PM

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

.: this is just a formula terminator so not relevant
Comment
Major (Tom)

So Fucking Banned

Join Date: Nov 2003

Posts: 32492
Share

Post
#14

11-28-2005, 10:26 PM

Originally posted by kandah

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.

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
Comment
Bluewire Ross

Confirmed User

Join Date: Nov 2005

Posts: 2169
Share

Post
#15

11-28-2005, 10:28 PM

It's a "i hate math world."

Cam2CamLive!
Feature Rich Flash-Based Cam Site Script

MAINSTREAM WEB DESIGN

CUSTOM ILLUSTRATIONS

[email protected] ICQ:259-582-973YahooIM: ross_collado1975
Comment
Brent_Moe

Confirmed User

Join Date: Nov 2005

Posts: 646
Share

Post
#16

11-29-2005, 02:13 AM

Any math wizard on this board?
Comment
com

Confirmed User

Join Date: Aug 2003

Posts: 4541
Share

Post
#17

11-29-2005, 02:26 AM

Originally posted by DukeSkywalker

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

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?

Real. Professional. Hosting.
.:Expect Nothing Less:.
320-078-843 :: www.realprohosting.com :: [email protected]
Comment
jimthefiend

So Fucking Banned

Join Date: Oct 2003

Posts: 18889
Share

Post
#18

11-29-2005, 03:07 AM

the answer is 4.
Comment
The Duck

Adult Content Provider

Join Date: May 2005

Posts: 18243
Share

Post
#19

11-29-2005, 03:08 AM

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)

Skype Horusmaia
ICQ 41555245
Email [email protected]
Comment
Th!nk

Confirmed User

Join Date: Aug 2005

Posts: 6996
Share

Post
#20

11-29-2005, 08:27 AM

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

Confirmed User

Join Date: Mar 2004

Posts: 4569
Share

Post
#21

11-29-2005, 09:42 AM

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

Previous template Next

Working...