|
Wiki Menu
Home |
ARGUMENTS
Now that you have mastered arguments with two simple statements, EXAMPLE: FOOTBALL PLAYOFFS HEY! HOLD ON HERE NOW! This is getting way too complicated for my 85 year old brain! I need some help. I know a guy named Brian who wrote an applet to do all this for me. Brian's applet will do all the tedious stuff for us if we will translate the statements into symbols. Click the button that says [Start Truth Table Constructor]. This will download the applet into its own window. Note that Brian allows you to use alternate symbols for operators: OURS | BRIAN'S ________________ + | v or + & | ^ or & – | ~ or - -> | => or -> <=> | <=> or <-> Å | % When you enter ((A <=> B) & (C % B) & ~C) => ~A in Brian's Enter Statement box, and click the OK button, you get this truth table:
![]()
If Brian's Evaluation is Identity, then your argument is valid. ASSIGNMENT: Select one of the arguments below that no one else has previously chosen and construct the truth table for it. Use letters that are mnemonic. Copy the argument number, the simple statements, the symbolic translations, and the corresponding truth table to a table in a comment below. Indicate its validity. CAUTION! If your simple sentences are not simple on your first try, I will tell you what they should be; and you will lose 1 point extra credit. So read and think before you leap! A correct analysis of your argument is worth 7 points:
Brian's Truth Table Constructor should make this assignment much easier: Click here for an Arguments Demo. 1. COUNTRY SONG 19. THREE PRISONERS REVISITED AGAIN 34. 35. 36. All ethical questions are philosophical questions, 37. 39. 40. 41. 42. 43. 44. 45. Comments:From wHolt - 2/13/06 10:16 AM From wHolt - 2/13/06 10:57 AM HINT #1: Hilite, copy, and paste this blank table into your comment.
From wHolt - 2/13/06 11:19 AM HINT #2: When making a table, it helps to hit the [insert] key once. HINT #3: ![]()
Comments:From wHolt - 12/15/06 5:09 PM Use => for If...Then
From BassLady - 12/15/06 2:55 PM I used <=> because the statement starts "If he is a..........then..............." From wHolt - 12/15/06 10:10 AM BassLady- (A->C) & (C&B) & <=> B ->C From wHolt - 12/15/06 10:01 AM GolfGirl -
you have not interpreted your statements exactly with your notation. notice the italicized words and use appropriate symbols: 2. Either Barbie dolls will continue to be favorites, OR Beanie Babies will remain popular. 3. Barbie dolls will NOT continue to be favorites. 4. Then the Bobble head doll craze will NOT continue. your Statement 1 is right. From GolfGirl - 12/14/06 4:14 PM 10. BARBIE A= bobble head doll craze will continue B= Beanie babies will remain popular C= Barbie dolls will continue to be favorites Statement 1:A->B Statement 2: -C Statement 3: -c->A Statement 4: B INVALID!
From BassLady - 12/14/06 9:06 AM BassLady - Define your simple statements. That should avoid some confusion. Statement 1 = A = Otis is a disk jockey Statement 2 = B = Otis knows his history Statement 3 = C = Otis lives in Lexington Premise 1: A -> C = If Otis is a disc jockey then he lives in Lexington B -> C = Otis lives in Lexington AND loves history A = Otis is a history loving disk jockey living in Lexington. Conclusion: If he were not a history buff then he would not be a disk jockey. If Otis is a disc jockey then he lives in Lexington - (A ->C) Otis lives in Lexington AND loves history - (C & B) Conclusion - If he were not a history buff then he would not be a disk jockey. (<=> B->C) Is this closer to what I should be? (A->C) & (C&B) & <=> B ->C From wHolt - 12/7/06 11:05 AM Bubba - I wont list all the errors, but here is the first one: From Bubba - 12/6/06 10:31 AM three prisoners revisited again a knows if b does not. b knows if a does not. neither a nor b knows. therefore c is red. A : a knows B: b knows C: neither knows conclusion is D: c is red ((A => ~B) & (B => ~A)) => -C
From wHolt - 11/30/06 9:51 AM BassLady - Define your simple statements. That should avoid some confusion. Statement 1 = A = Otis is a disk jockey Statement 2 = B = Otis knows his history Statement 3 = C = Otis lives in Lexington Premise 1: A -> C = If Otis is a disc jockey then he lives in Lexington B -> C = Otis lives in Lexington AND loves history A = Otis is a history loving disk jockey living in Lexington. Conclusion: If he were not a history buff then he would not be a disk jockey. From BassLady - 11/29/06 7:43 PM Okay let's give it another go. I know how to do this, but I just can't seem to put in the correct symbols. #13 - If Otis is a disc jockey, then he lives in Lexington. He does live in Lexington, and, furthermore, he is a history buff. So, if Otis were not a history buff, he would not be a disc jockey either? Premise 1: If Otis is a disk jockey, then he lives in Lexington. Premise 2: He does live in Lexington, and furthermore he is a history buff. Conclusion: If he were not a history buff then he would not be a disk jockey either. Statement 1 - Otis is a disk jockey Statement 2 - Otis knows his history Statement 3 - Otis lives in Lexington
A -> C = If Otis is a disc jockey then he lives in Lexington B -> C = Otis lives in Lexington and loves history A = Otis is a history loving disk jockey living in Lexington. From wHolt - 11/23/06 10:45 AM #13 - Slipped Disc - Statement #1 - A=Otis is a disk jockey (PREMISE 1 & PREMISE 1) => CONCLUSION I commented on this one quite a bit above. From BassLady - 11/22/06 11:20 PM Okay, I need help. If Otis is a disc jockey, then he lives in Lexington. He does live in Lexington, and, furthermore, he is a history buff. So if Otis were not a history buff, he would not be a disc jockey either? You have a question mark at the end of the sentence. Do I have a choice here. If I do ----then I choose he is a disc jockey who lives in Lexington loving the history channel. Am I on the right track???? Premise A - Otis is a disc jockey Premise B - Otis lives in Lexington Premise C - Otis loves history Conclusion - Otis is a history loving disc jockey living in Lexington. (A->B) & (B->C) & (C <=> A) = A Please help me. From wHolt - 11/20/06 12:21 PM Zonino -
I dont know why you put 2 negatives in your concluding statement: -(A=>-C) If it is an ethical question, then it is not a case of unreasoned judgment = (A=>-C) This says the same thing as the conclusion. From Zonino - 11/19/06 9:12 PM 36. All ethical questions are philosophical questions, 1. Ethical questions are philosophical questions. A = There are ethical questions. Statement 1 A => B (A=>B)&(B=>C)=>-(A=>-C)
The arguement is invalid. From DirtyBird - 10/22/06 10:00 AM 9. BEETLES
If that tree is infested with pine bark beetles, then it will die. People plant trees on Arbor Day and it will not die. Therefore, if people plant trees on Arbor Day, then that tree is not infested with pine bark beetles. A= Pine bark beetles kill trees B= People plant trees on Arbor Day. C= Trees are infested with pine bark beetles. Statement 1= C=>A Statement 2= B&~A Statement 3= B=>~C
VALID From wHolt - 10/19/06 12:58 AM Future Lawyers of America: Boki From wHolt - 10/19/06 12:56 AM DirtyBird- BassLady- i need new reading glasses Poovey - have another chocolate! From Poovey - 10/18/06 8:58 PM ) If I'm eating chocolate, then I'm happy
2) I'm not happy 3) If I'm not eating chocolate, then I'll go crazy Therefore, 4) I'll go crazy a) I'm eating chocolate 1. A=>B
From BassLady - 10/18/06 8:34 PM #13 - If Otis is a disk jockey, then he lives in Lexington. He does live in Lexington, and furthermore, he is a history buff. So if Otis were not a history buff, he would not be a disk jockey either.
A = If Otis is a disk jockey, he lives in Lexington. B = If Otis is a disk jockey, he is also a history buff. C = Otis is a disk jockey, history loving man living in Lexington. This table is a conditional table From wHolt - 10/18/06 11:43 AM Poovey- a) I'm eating chocolate 1. A=>B Dirty Bird- BassLady- A - Otis is a disk jockey ((A<=>B) & (B<=>C) & (A<=>C) From BassLady - 10/17/06 11:20 PM #13 - If Otis is a disk jockey, then he lives in Lexington. He does live in Lexington, and furthermore, he is a history buff. So if Otis were not a history buff, he would not be a disk jockey either. A - Otis is a disk jockey B - Otis lives in Lexington C - Otis is a history buff
From Poovey - 10/17/06 6:49 PM I think mine above is corrected...............
From wHolt - 10/17/06 2:35 PM DirtyBird - match your notation with your argument. A= Pine bark beetles kill trees Statement 1= B=>~C I will ignore your next attempt if you ignore these remarks. Poovey - copy your argument so we can tell what you are doing. From Poovey - 10/16/06 5:15 PM
1) If I'm eating chocolate, then I'm happy 2) I'm not happy 3) If I'm not eating chocolate, then I'll go crazy Therefore, 4) I'll go crazy
a) I'm eating chocolate 1. A=>B
From wHolt - 10/16/06 2:20 PM Future Lawyers of America: Boki From wHolt - 10/16/06 2:18 PM DirtyBird- Zonino- From CatsEyes - 10/16/06 8:50 AM 4. FLU A=You catch the flu B=Can Infect others C=Sore throats Statement 1 = A => B Argument is invalid. From Kathi - 10/16/06 8:02 AM 1. COUNTRY SONG
Let A = You are my woman Statement 1 is expressed as (A & B) => C Conclusion is expressed as (-A + -B) (((A & B) => C) & ~C) => (~A + ~B)
This argument is valid.
From Zonino - 10/15/06 10:13 PM 36. All ethical questions are philosophical questions,
and all philosophical questions are a matter of reasoned judgment. Thus, no ethical question is a matter of unreasoned judgment. 1. Ethical questions are philosophical questions. 2. Philosophical questions are a matter of reasoned judgment.
3. No ethical question is a matter of unreasoned judgment. A = There are ethical questions.B = There are philosophical questions. C = There are questions that are matters of reasoned judgment. Statement 1 A -> B Statement 2 B -> C Statement 3 –A -> –C
(A -> B) & (B -> C) -> (-A -> –C)
The arguement is not valid.
From Draco - 10/15/06 6:01 PM 29. FIRE EARTH WIND & WATER Statement 2: The more fire, the more wind. (A->C) Statement 3: The more fire, the more water. (A->D) Statement 4: The less earth, the less fire.(-B->-A) A= More fire. B= More earth. C= More wind. D= More water. Compound Statement: [(A->B)&(A->C)&(A->D)]->(-B->-A)
ARGUMENT IS VALID From DirtyBird - 10/15/06 1:55 PM 9. BEETLES A= Pine bark beetles kill trees B= People plant trees on Arbor Day. C= Trees are infested with pine bark beetles. Statement 1= B=>~C Statement 2= C=>A Statement 3= B=>~A
Argument is VALID I dont know what Im doing wrong on my notation.
From wHolt - 10/15/06 1:39 PM CatsEyes - this <=> means if and only if. DirtyBird- From CatsEyes - 10/14/06 7:16 PM 4. FLU A=You catch the flu B=Can Infect others C=Sore throats Statement 1 = A => B
Argument is invalid. (I hope this is correct this time) From wHolt - 10/14/06 2:54 PM BassLady Phoenix- From Phoenix - 10/14/06 1:23 AM 41. A= You take your time B= You will be late C= You will be in trouble Statement 1: A->B Statement 2: B->C Conclusion: ~A
Arguement is invalid From BassLady - 10/13/06 9:04 PM From BassLady - 10/12/06 7:47 PM
#13 - Slipped Disc - If Otis is a disk jockey, then he lives in Lexington. He does live in Lexington, and furthermore, he is a history buff. So, if Otis were not a history buss, he would not be a disc jockey either? Statement #1 - Otis is a disk jockey Statement #2 - Otis know history Statement #3 - Otis lives in Lexington If Otis is a disk jockey, he lives in Lexington. He is a history buff. this argument is valid. From wHolt - 10/13/06 2:40 PM THIS EXERCISE IN MADNESS IS NOW CLOSED TO NEWCOMERS!
YOU 13 OLDCOMERS CONTINUE ARGUING. From wHolt - 10/13/06 2:38 PM CatsEyes-simple statements good. Zonino - there is no if and only if <=> in your argument. fix. DirtyBird - your simple statements are: go forth and conquer... From wHolt - 10/13/06 2:37 PM Future Lawyers of America: Boki From Lexiowen - 10/12/06 10:01 PM 24. LOGIC GRADE A: I'll do well on this assignment. B: I will have abetter average. C: My grade will be good. D: I will do better next time. Statement 1: A->B Statement 2: B->C Statement 3: -A Statement 4: -C+D
valid From Zonino - 10/12/06 9:58 PM 36. All ethical questions are philosophical questions,
A = Questions are ethical. B = Questions are philosophical. C = Questions are a matter of reasoned judgment. Statement 1 A <=> B Statement 2 B <=> C Statement 3 –A <=> –C (A <=> B) & (B <=> C) -> (-A <=> –C) Arguement is valid. From CatsEyes - 10/12/06 9:51 PM 4. FLU A=You catch the flu B=Can Infect others C=Sore throats Statement 1 = A => B
This argument is valid.
From wHolt - 10/12/06 9:12 PM TBird - there are no if and only ifs in your argument. DirtyBird - you put negations in your simple statements. Fix. BassLady - you did not copy your argument. Bubba - your C contains a negative. Phoenix - there are only 3 statements in the argument. From Phoenix - 10/12/06 9:01 PM 41. A= You take your time B= You will be late C= You will be in trouble Statement 1: A->B Statement 2: B->C Statement 3: B Conclusion: ~A
Arguement is invalid From Bubba - 10/12/06 8:38 PM three prisoners revisited again a knows if b does not. b knows if a does not. neither a nor b knows. therefore c is red. A : a knows B: b knows C: neither knows conclusion is D: c is red ((A => ~B) & (B => ~A) => C) => D
this statement is invalid From BassLady - 10/12/06 7:47 PM
#13 - Slipped Disc Statement #1 - Otis is a disk jockey Statement #2 - Otis know history Statement #3 - Otis lives in Lexington If Otis is a disk jockey, he lives in Lexington. He is a history buff even if he is not a disk jockey. From wHolt - 10/12/06 6:46 PM Draco - Pac already worked your selection. Pick another. 7Iron - Notate means symbolize the notation to match the sentences in the argument. Phoenix- simple statements good, but not your conclusion: Golfgirl- hilite and copy your original argument, or we cant tell what you are doing. From Draco - 10/12/06 5:25 PM 6. RUNNING Statement 1: If Hillary runs, McCain will not. Statement 2: Hillary will run if Bill tells her to. Statement 3: McCain decides to run. Statement 4: Bill did not tell Hillary to run. A=Hillary runs. B=McCain runs. C=Bill tells Hillary to run. Statement 1= A -> -B Statement 2= C -> A Statement 3= B Statement 4= -C Compound Statement= [ (A -> -B) & (C-> A) & B] -> -C
Argument is valid. From 7Iron - 10/12/06 5:21 PM Mr Holt, From Phoenix - 10/12/06 2:05 AM 41. A= You take your time B= You will be late C= You will be in trouble Statement 1: A->B Statement 2: B->C Statement 3: B Conclusion: C
Arguement is valid From GolfGirl - 10/12/06 12:56 AM 10. BARBIE A= bobble head dollg craze will continue B= Beanie babies will remain popular C= Barbie dolls will not continue to be favorites Statement 1:A+B Statement 2: -C Statement 3: -c->A Statement 4: B INVALID!
From JooJoo - 10/11/06 10:29 PM #39 1) If I'm eating chocolate, then I'm happy 2) I'm not happy 3) If I'm not eating chocolate, then I'll go crazy Therefore, 4) I'll go crazy A. I'm eating chocolate B. I'm happy C. I'll go crazy 1. A->B 2. -B 3. -A -> C 4. C (A->B) & (-B) & (-A->C) -> C
The evaluation is Identity which makes my argument VALID! From Poovey - 10/11/06 9:06 PM @@##$$%% I must have been working on the same thing while JooJoo was! From JooJoo - 10/11/06 8:42 PM I would like to claim # 39 but I am at work right now so I will finish the rest of the table when I get home. #39 1) If I'm eating chocolate, then I'm happy 2) I'm not happy 3) If I'm not eating chocolate, then I'll go crazy Therefore, 4) I'll go crazy A. I'm eating chocolate B. I'm happy C. I'll go crazy 1. A->B 2. -B 3. -A -> C 4. C [(A->B) & (-B) & (-A->C)] -> C (Sorry I will finish with the Hoversnap picture when I get home) From Fro - 10/11/06 8:34 PM 43. A=I will drop Math B=I will drop History C=I'm doing well in History D=I am doing well in Math Statement 1: A+B Statement 2: C=>-A Statement 3: D=>-B Statement 4: -C+-D
Argument is valid From Pringle - 10/11/06 8:32 PM 11. AMERICAN IDOL 2) If Ricky Martin is not a teen idol anymore, then Britney Spears will not win an American Music Award. 3) But Britney Spears does win an American Music Award. 4) Therefore, Christina Aguilera does not sing tonite. let A = Christina Aguilera sings tonite. let B = Ricky Martin is a teen idol. let C = Britiney Spears wins an Americal Idol. Statement 1 = A + -B Statement 2 = -B -> -C Statement 3 = C Conclusion = -A [(A + -B) & (-B -> -C) & C] => -A
This is invalid! From TBird - 10/11/06 8:02 PM 38. A= its hot B= I will sweat C= its cold D= I will shiver
This argument is a valid one becuase if its hot then i will sweat and if its cold i will shiver...enless im really sick with a fever
From wHolt - 10/11/06 12:05 PM 7Iron - notate these statements DirtyBird- you will need a D statement for yours. Kathi- you were closer before. From Kathi - 10/11/06 11:37 AM 1. COUNTRY SONG Let A = You are my woman. Statement 1 is expressed as A AND B Statement 2 is expressed as C AND B [(A & B) & (C & B) & —C] -> —A + -B This argument is valid.
From 7Iron - 10/10/06 5:18 PM 44.
(1.) All humans are mortal. (2.) Some humans are good people. (3.) Therefore, some mortals are good people. A= They are human. B= They are mortal. C= They are good people.
Statement1= A
Not Valid From wHolt - 10/10/06 11:04 AM Future Lawyers of America: Boki From wHolt - 10/10/06 11:02 AM Dirtybird- you should also have a simple statement for "We hurry". Redo. Pod - you have a typo in (C -> -A) & (B -> -A) = (B -> C). dont use = sign. use => 7Iron- your simple statements are: Hotrod- simple statements are good. From HotrodMinivan - 10/10/06 9:46 AM #3. Jack All work and no play made Jack a dull boy. However, since his recent layoff from work, Jack has been playing around a lot. At least he's not dull anymore. Let W=Jack works, P=Jack plays, and D=Jack is dull. W=Jack works P=Jack plays D=Jack is dull Statement 1: W=>DStatement 2: P=>-DStatement 3: DConclusion: -W^ P => -D
This arguement is valid. If Jack works and does not play, he is dull. However if he does not work he does not eat, but he is not dull. To correct this he needs to let work and play balance each other. From Pac - 10/9/06 8:26 PM 6. RUNNING 1. If Hillary runs, McCain will not. 2. Hillary will run if Bill tells her to. 3. McCain decides to run. Conclusion: Bill did not tell Hillary to run.
Statements: H = Hillary runs B = Bill tells Hillary to run M = McCain runs
Breakdown: Statement 1: H -> -M Statement 2: B -> H Statement 3: M Conclusion: -B Argument string: ((H -> -M) & (B -> H) & M) -> -B
Identity - VALID! :-) From Pod - 10/9/06 6:51 PM 37. B = It is my pet. C = It is a cat. Statement 1: C -> -A Statement 2: B -> -A Conclusion: B = C (C -> -A) & (B -> -A) = (B -> C)
invalid. From wHolt - 10/9/06 2:14 PM Kathi - there is no if and only if in the argument. Pod - Melewen- simple statements are good. Superduke- I will give you credit. Harkar - 8 points! From Sunshine - 10/9/06 10:41 AM
8. GOLF A: Jeff lives to play golf. B: Joan likes to sew. C: Brad sings in the choir.
From Kathi - 10/9/06 7:47 AM 1. COUNTRY SONG Let A = You are my woman. Statement 1 is expressed as A <-> B [(A <=> B) & (C & B) & —C] -> —A
This argument is valid. From Pod - 10/8/06 9:28 PM 37. B = My pets have wings C = All my pets are cats. Statement 1: -A Statement 2: -B Conclusion: C (-A & -B) -> C
invalid. From Melewen - 10/8/06 9:25 PM If we hurry, then we can be early. Let A = We hurry. [((A -> B) & ((B -> C) & (C -> D))) -> (D <=>A)]
INVALID! Conditional statement. From SuperDuke - 10/8/06 6:13 PM #45 Without an ear, there is no sound. All forest have ears. All forest have trees that fall. So if a tree falls in the forest, it will make a sound. A. There is a sound. B. Forest have ears. C. Forest trees fall. 1. ~B => ~A 2. B 3. C Conc: C => A
Argument is invalid From Harkar - 10/8/06 5:41 PM #40 A= The President will resign. Statement 1 = A+B
This argument is invalid. From wHolt - 10/8/06 12:28 AM Cheana - nice example. Thanks. From Cheana - 10/7/06 12:50 PM 2. MISS AMERICA A= Miss Pennsylvania wins the Miss America Pageant. Statements: Argument is Invalid From wHolt - 10/5/06 12:47 AM Boki - Good job. Although indestructible, indivisible, and immortal are all 3 negatives. From Slick - 10/4/06 9:11 PM
#42 If you take your time, then you will be late. If you show up late, then you will be in trouble. You do not get in trouble. Therefore, you do not take your time. A = You take your time B = You will be late C = You will be in trouble Statement 1: A->B Statement 2: B->C Statement 3: -C Conclusion: -A
This Argument is valid From Sunshine - 10/4/06 2:03 PM #8 A: Jeff lives to play golf. B: Joan likes to sew. C: Brad sings in the choir.
From Boki - 10/4/06 12:23 PM 35.
If the soul is indivisible, then it is indestructible. If it is indestructible, then it is immortal. Therefore, if the soul is mortal, then it is divisible. A= The soul is indivisible. B= It is indestructible. C= It is immortal. Statement 1 = A -> B Statement 2 = B-> C Statement 3 = ~CConclusion = ~A The argument is valid. (( A -> B) & (B -> C) & ~C) -> ~A “The soul never thinks without a picture.” – Aristotle
From wHolt - 10/2/06 12:57 PM Houdini did it! Everyone study Houdini's before you do yours! From Houdini - 10/2/06 9:52 AM 14. BANK A=I write a check B=The bank guarantees it. C=It will bounce. Statement 1 = A→C Statement 2 = B→-C Statement 3 = B Conclusion = -A
This argument is valid. Even though the bank will guarantee the check so it will not bounce, the bank will charge you an arm and a leg, maybe even a pound of flesh, to cover the check. To save me from this, I will not write the check and buy Disney's Alice in Wonderland next paycheck. From wHolt - 9/29/06 1:20 PM Kathi- nice of you to go first. Let A = You are my woman. From Kathi - 9/29/06 10:30 AM 1. COUNTRY SONG
Let A = You are my woman. Statement 1 is expressed as A <-> B [(A <=> B) & (C & B) & —C] -> —A
This argument is valid. Last Modified 9/29/06 1:40 PM | Hide Tools |
EXAMPLE: FOOTBALL PLAYOFFS
Make the truth table for the argument below:
STATEMENTS
1. The Colts will be in the playoffs if and only if Peyton leads the league in passing.
2. Either Marv loves the Colts, or Peyton leads the league in passing, but not both.
3. Marv does not love the Colts.
4. Therefore, the Colts will not be in the playoffs.
First, identify the simple statements in this argument:
Let A = the Colts will be in the playoffs.
Let B = Peyton leads the league in passing.
Let C = Marv loves the Colts.
Next write each sentence as a compound statement:
Statement 1 is expressed in symbols as A <=> B.
Statement 2 becomes C Å B. (The Å is the EXCLUSIVE OR or XOR.)
Statement 3 is simply —C.
Statement 4 is —A.
Now conjunct all but the last of these statements together in a long compound statement;
and then connect the last statement at the end with an implication.
[(A EQV B) AND (C XOR B) AND NOT C] IMP (NOT A)
Use Brian's Truth Constructor.
Then copy the results into a table:
ARGUMENT INVALID