|
|
|
|
||||
|
Welcome to the GoFuckYourself.com - Adult Webmaster Forum forums. You are currently viewing our boards as a guest which gives you limited access to view most discussions and access our other features. By joining our free community you will have access to post topics, communicate privately with other members (PM), respond to polls, upload content and access many other special features. Registration is fast, simple and absolutely free so please, join our community today! If you have any problems with the registration process or your account login, please contact us. |
 |
|
|||||||
| Discuss what's fucking going on, and which programs are best and worst. One-time "program" announcements from "established" webmasters are allowed. |
|
|
Thread Tools |
11-28-2005, 03:29 PM
|
#1 |
|
Adult Content Provider
Industry Role:
Join Date: May 2005
Location: Europe
Posts: 18,243
|
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. |
|
|
|
11-28-2005, 03:36 PM
|
#2 |
|
Chafed.
Join Date: May 2002
Location: Face Down in Pussy
Posts: 18,041
|
College Homework Surfer. QED.
__________________
 icq:159548293 |
|
|
|
|
11-28-2005, 03:36 PM
|
#3 |
|
BACON BACON BACON
Industry Role:
Join Date: Nov 2002
Location: Poems everybody, the laddie fancies himself a poet
Posts: 35,462
|
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 |
|
|
|
|
11-28-2005, 03:37 PM
|
#4 |
|
Confirmed User
Join Date: Nov 2005
Posts: 770
|
i hate math
__________________
|
|
|
|
|
11-28-2005, 03:39 PM
|
#5 | |
|
Adult Content Provider
Industry Role:
Join Date: May 2005
Location: Europe
Posts: 18,243
|
Quote:
|
|
|
|
|
|
11-28-2005, 06:08 PM
|
#6 |
|
Confirmed User
Join Date: Nov 2005
Posts: 222
|
math makes me sick.
__________________
|
|
|
|
|
11-28-2005, 06:21 PM
|
#7 |
|
Reach for those stars!
Industry Role:
Join Date: Apr 2003
Location: Vancouver, BC
Posts: 17,991
|
Good luck.
__________________
email: [email protected] |
|
|
|
|
11-28-2005, 06:33 PM
|
#8 |
|
Registered User
Join Date: Feb 2004
Location: In Your Dreams
Posts: 9,649
|
__________________
---'-,-{@ Sassy Grrrl @}-'-,--- 
|
|
|
|
|
11-28-2005, 10:12 PM
|
#9 |
|
Too lazy to set a custom title
Join Date: Jul 2005
Posts: 11,922
|
I don,'t think I encountered that on my college algebra.
__________________
 Make money on any traffic. Bi-weekly payments with no hold. |
|
|
|
|
11-28-2005, 11:43 PM
|
#10 | |
|
Confirmed User
Join Date: Aug 2005
Location: So Cal
Posts: 2,972
|
Quote:
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 |
|
|
|
|
|
11-28-2005, 11:43 PM
|
#11 |
|
lurker
Industry Role:
Join Date: Aug 2002
Location: atlanta
Posts: 57,021
|
awwwwwww math
|
|
|
|
|
11-28-2005, 11:59 PM
|
#12 |
|
Confirmed User
Join Date: Nov 2005
Posts: 367
|
sorry dude, I can't help you with that equation.
__________________
|
|
|
|
|
11-29-2005, 12:01 AM
|
#13 |
|
salad tossing sig guy
Join Date: Apr 2002
Location: mrthumbs*gmail.com
Posts: 11,702
|
(p v q) -> r equals (~s v t)[p ^ s]3
.: this is just a formula terminator so not relevant |
|
|
|
|
11-29-2005, 12:26 AM
|
#14 | |
|
Boomer Woffen
Industry Role:
Join Date: Nov 2003
Location: Null
Posts: 30,571
|
Quote:
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
__________________
My mother said, to get things done You'd better not mess with Major Tom |
|
|
|
|
11-29-2005, 12:28 AM
|
#15 |
|
Confirmed User
Join Date: Nov 2005
Posts: 2,169
|
It's a "i hate math world."
__________________
|
|
|
|
|
11-29-2005, 04:13 AM
|
#16 |
|
Confirmed User
Join Date: Nov 2005
Posts: 646
|
Any math wizard on this board?
__________________
|
|
|
|
|
11-29-2005, 04:26 AM
|
#17 | |
|
Confirmed User
Join Date: Aug 2003
Location: Portland, Oregon
Posts: 4,541
|
Quote:
__________________
Real. Professional. Hosting. .:Expect Nothing Less:. 320-078-843 :: www.realprohosting.com :: [email protected] |
|
|
|
|
|
11-29-2005, 05:07 AM
|
#18 |
|
So Fucking Banned
Join Date: Oct 2003
Location: icq: 121189
Posts: 18,889
|
the answer is 4.
|
|
|
|
|
11-29-2005, 05:08 AM
|
#19 |
|
Adult Content Provider
Industry Role:
Join Date: May 2005
Location: Europe
Posts: 18,243
|
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) |
|
|
|
|
11-29-2005, 10:27 AM
|
#20 |
|
Confirmed User
Join Date: Aug 2005
Posts: 6,996
|
hehe! almost everyone here hates math! same with me...doesn't liked it all!
 |
|
|
|
|
11-29-2005, 11:42 AM
|
#21 |
|
Confirmed User
Join Date: Mar 2004
Location: LOLLIPOP ISLAND =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=
Posts: 4,569
|
I dont know what to say here so : Suck my balls will have to suffice
__________________
|
|
|
|
