From rusin@rainier.math.niu.edu Thu Jul 27 13:54:41 CDT 2000 Article: 326097 of sci.math Path: news.math.niu.edu!rusin From: rusin@rainier.math.niu.edu (Dave Rusin) Newsgroups: sci.math Subject: Seeking logic/syntax exercises Date: 21 Jul 2000 18:05:37 GMT Organization: Northern Illinois Univ., Dept. of Mathematical Sciences Lines: 17 Message-ID: <8la3dh$ci9$1@gannett.math.niu.edu> NNTP-Posting-Host: rainier.math.niu.edu X-Trace: gannett.math.niu.edu 964202737 12873 131.156.3.5 (21 Jul 2000 18:05:37 GMT) X-Complaints-To: news@math.niu.edu NNTP-Posting-Date: 21 Jul 2000 18:05:37 GMT Xref: news.math.niu.edu sci.math:326097 I have a student having trouble performing syntactical manipulations of logical terms. I want to hand her a long list of exercises of that type we have all seen before, like this: "Every gleezip is a snorkl. Framitzes which are snorkls can vaupel. Does it follow that every gleezip can vaupel?" Not surprisingly I'm having difficulty matching "gleezip" with my search engines. Has anyone got a pile of these handy? (In exchange I can offer pointers to some of the other "standard" exercise sets for beginning math majors. See http://www.math.niu.edu/~rusin/teaching-math/ I would add these exercises to that pile. Related suggestions welcome, too.) Thanks dave From dpetry@uswest.net Thu Jul 27 13:54:45 CDT 2000 Article: 326147 of sci.math Path: news.math.niu.edu!husk.cso.niu.edu!vixen.cso.uiuc.edu!uchinews!arclight.uoregon.edu!hammer.uoregon.edu!newsfeed.direct.ca!look.ca!news-out.uswest.net!news.uswest.net.POSTED!not-for-mail From: "David Petry" Newsgroups: sci.math References: <8la3dh$ci9$1@gannett.math.niu.edu> Subject: Re: Seeking logic/syntax exercises Lines: 18 X-Newsreader: Microsoft Outlook Express 4.72.3110.1 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 Message-ID: Date: Fri, 21 Jul 2000 16:17:11 -0700 NNTP-Posting-Host: 216.160.97.117 X-Trace: news.uswest.net 964221682 216.160.97.117 (Fri, 21 Jul 2000 18:21:22 CDT) NNTP-Posting-Date: Fri, 21 Jul 2000 18:21:22 CDT Xref: news.math.niu.edu sci.math:326147 Dave Rusin wrote >Not surprisingly I'm having difficulty matching "gleezip" with my >search engines. Has anyone got a pile of these handy? Have you tried the DejaNews search engine? It brings up at least two articles which the keyword "gleezip". Anyway, I have a whole garage full of gleezips, and I would be glad to part with them for $1.39 each plus shipping and handling, if you are properly licensed to own gleezips. Where do I go to be forgiven? From clive@pisquaredoversix.force9.co.uk Thu Jul 27 13:55:01 CDT 2000 Article: 326255 of sci.math Path: news.math.niu.edu!husk.cso.niu.edu!vixen.cso.uiuc.edu!howland.erols.net!news-out-b.news.pipex.net.MISMATCH!tank.news.pipex.net!pipex!easynet-quince!easynet.net!colt.net!newspeer.clara.net!news.clara.net!peernews!peer.cwci.net!news2-hme0.POSTED!not-for-mail Message-ID: <397A23CE.833D34A6@pisquaredoversix.force9.co.uk> From: Clive Tooth Organization: Corretc Programming Inc X-Mailer: Mozilla 4.5 [en] (WinNT; I) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: sci.math Subject: Re: Seeking logic/syntax exercises References: <8la3dh$ci9$1@gannett.math.niu.edu> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Lines: 356 Date: Sat, 22 Jul 2000 23:44:30 +0100 NNTP-Posting-Host: 195.44.1.102 X-Trace: news2-hme0 964305830 195.44.1.102 (Sat, 22 Jul 2000 23:43:50 BST) NNTP-Posting-Date: Sat, 22 Jul 2000 23:43:50 BST Xref: news.math.niu.edu sci.math:326255 Dave Rusin wrote: > I have a student having trouble performing syntactical manipulations of > logical terms. I want to hand her a long list of exercises of that > type we have all seen before, like this: > "Every gleezip is a snorkl. Framitzes which are snorkls can vaupel. > Does it follow that every gleezip can vaupel?" > > Not surprisingly I'm having difficulty matching "gleezip" with my > search engines. Has anyone got a pile of these handy? > > (In exchange I can offer pointers to some of the other "standard" exercise > sets for beginning math majors. See > http://www.math.niu.edu/~rusin/teaching-math/ > I would add these exercises to that pile. Related suggestions welcome, too.) Well, as usual, my first thought was "write a program". It is probably not exactly the sort of thing you want, but here is some output from it. First of all a large puzzle to which I do not give the solution but which some may wish to try. Then 15 smaller puzzles, with answers. There is redundancy in the information given in the puzzles. =============================================================== Puzzle number 1 (a) If Edward eats oranges then Linda lives in Seattle. (b) These are either both right or both false: Oliver can juggle, Peter dislikes yellow roses. (c) These are either both right or both untrue: Linda does not live in Seattle, Jill has not got five chessboards. (d) At least one of Robert lives in London and Ian can find lost keys is untrue. (e) Either Jill has not got five chessboards or Oliver can juggle or both. (f) If it is incorrect that Bill eats liver then it is also incorrect that Ian cannot find lost keys. (g) Either Donald cannot see your personal aura or Peter dislikes yellow roses or both. (h) If Edward never eats oranges then Kelvin dislikes smoking. (i) Jill has not got five chessboards or Bill never eats liver or both. (j) Kelvin dislikes smoking or Robert does not live in London or maybe both. (k) Either Linda lives in Seattle or Bill never eats liver, but not both. (l) If Edward eats oranges is false then so is Donald cannot see your personal aura. ------------ Puzzle number 2 (a) These are either both right or both false: Kelvin dislikes drinking vodka, John has snakeskin shoes. (b) John has snakeskin shoes or Kelvin dislikes drinking vodka or maybe both. John has snakeskin shoes: True Kelvin likes drinking vodka: False ------------ Puzzle number 3 (a) Either Ian lives in Antwerp or John dislikes French people or both. (b) These are either both true or both false: John dislikes French people, Ian does not live in Antwerp. (c) If it is false that Ian lives in Antwerp then it is also incorrect that John dislikes French people. John likes French people: True Ian lives in Antwerp: True ------------ Puzzle number 4 (a) If it is untrue that Bill likes reading Shakespeare then it is also false that Jimmy dislikes airports. (b) Bill dislikes reading Shakespeare or Jimmy likes airports or both. (c) Either Jimmy likes airports or Bill likes reading Shakespeare, but not both. Jimmy likes airports: True Bill likes reading Shakespeare: False ------------ Puzzle number 5 (a) Charles eats roast beef or Susan eats cake or maybe both. (b) If it is false that Susan never eats cake then it is also untrue that Charles eats roast beef. (c) At least one of Charles never eats roast beef and Susan never eats cake is untrue. (d) Susan eats cake and Charles eats roast beef are not both right. (e) Charles never eats roast beef or Susan eats cake or maybe both. (f) We cannot have just one of Charles never eats roast beef and Susan eats cake being true. Susan eats cake: True Charles eats roast beef: False ------------ Puzzle number 6 (a) If Fred dislikes swimming then Norman dislikes French people. (b) Either Norman likes French people or Fred likes swimming or both. (c) Either Norman dislikes French people or Fred dislikes swimming, but not both. Fred likes swimming: True Norman likes French people: False ------------ Puzzle number 7 (a) It is not right that both Susan has not got a gold watch and Mike does not live in Boston are correct. (b) If Susan has a gold watch is false then so is Mike lives in Boston. (c) Either Peter has not got false teeth or Mike does not live in Boston, but not both. (d) These are either both true or both untrue: Susan has a gold watch, Peter has false teeth. Susan has a gold watch: True Mike lives in Boston: False Peter has false teeth: True ------------ Puzzle number 8 (a) Oliver has a brother or Graham cannot speak Russian or maybe both. (b) If it is untrue that Graham can speak Russian then it is also false that Edward does not live in Seattle. (c) Exactly one of Oliver has a brother and Edward does not live in Seattle is right. (d) At least one of Graham can speak Russian and Edward lives in Seattle is false. Oliver has a brother: True Edward lives in Seattle: True Graham can speak Russian: False ------------ Puzzle number 9 (a) Exactly one of Peter never eats quince jelly and Graham never eats oranges is true. (b) If it is incorrect that Sam cannot speak Chinese then it is also false that Graham never eats oranges. (c) Either Sam can speak Chinese or Peter never eats quince jelly, but not both. Sam can speak Chinese: False Graham eats oranges: True Peter eats quince jelly: False ------------ Puzzle number 10 (a) At least one of Arthur cannot sing very loudly and Graham likes playing poker is untrue. (b) At least one of Norman has false teeth and Arthur can sing very loudly is untrue. (c) Exactly one of Arthur cannot sing very loudly and Graham dislikes playing poker is right. (d) Graham dislikes playing poker and Norman has false teeth are not both right. Arthur can sing very loudly: True Graham likes playing poker: False Norman has false teeth: False ------------ Puzzle number 11 (a) Exactly one of Kelvin does not live in Moscow and Susan lives in Boston is correct. (b) Kelvin does not live in Moscow or Susan does not live in Boston or both. (c) If it is untrue that Kelvin lives in Moscow then it is also untrue that Fred dislikes cutting the grass. (d) Either Susan does not live in Boston or Fred dislikes cutting the grass or both. (e) If it is false that Susan lives in Boston then it is also false that Fred dislikes cutting the grass. Susan lives in Boston: False Fred likes cutting the grass: True Kelvin lives in Moscow: False ------------ Puzzle number 12 (a) We cannot have just one of Arthur can sing very loudly and Charles can swim two miles being true. (b) Either Iris can find lost keys or Norman does not live in Seattle or both. (c) We cannot have just one of Arthur can sing very loudly and Norman lives in Seattle being true. (d) It is not true that both Iris cannot find lost keys and Charles cannot swim two miles are correct. (e) If Norman does not live in Seattle is false then so is Iris can find lost keys. (f) If it is false that Charles cannot swim two miles then it is also false that Iris cannot find lost keys. (g) Iris cannot find lost keys or Norman does not live in Seattle or both. Norman lives in Seattle: False Iris can find lost keys: True Charles can swim two miles: False Arthur can sing very loudly: False ------------ Puzzle number 13 (a) At least one of Sam never eats chocolate cake and Graham lives in Rome is false. (b) Sam eats chocolate cake or Graham lives in Rome or maybe both. (c) These are either both right or both incorrect: Beryl cannot eat crisps like it is going out of fashion, Sam eats chocolate cake. (d) It is not correct that both Beryl cannot eat crisps like it is going out of fashion and Mike cannot see your personal aura are correct. (e) Either Mike cannot see your personal aura or Graham does not live in Rome or both. Sam eats chocolate cake: True Graham lives in Rome: False Mike can see your personal aura: True Beryl can eat crisps like it is going out of fashion: False ------------ Puzzle number 14 (a) At least one of Peter likes almonds and Mike dislikes yellow roses is false. (b) Exactly one of Linda never eats boiled frogs and Charles dislikes Ford cars is correct. (c) If Charles dislikes Ford cars then Mike likes yellow roses. (d) Charles likes Ford cars and Mike likes yellow roses are not both correct. (e) Exactly one of Mike likes yellow roses and Linda never eats boiled frogs is right. (f) If Charles likes Ford cars is false then so is Peter likes almonds. (g) These are either both right or both incorrect: Mike likes yellow roses, Peter dislikes almonds. (h) If Peter likes almonds then Linda never eats boiled frogs. (i) It is not correct that both Linda never eats boiled frogs and Mike likes yellow roses are true. Linda eats boiled frogs: True Mike likes yellow roses: True Peter likes almonds: False Charles likes Ford cars: False ------------ Puzzle number 15 (a) If it is untrue that Mike likes swimming then it is also false that Graham eats sausages. (b) It is not right that both Graham eats sausages and Mike never eats chocolate cake are true. (c) Either Mike likes swimming or Norman has a gold watch or both. (d) If Mike dislikes swimming then Mike eats chocolate cake. (e) Either Mike likes swimming or Mike eats chocolate cake, but not both. (f) Exactly one of Graham never eats sausages and Norman has a gold watch is correct. Mike eats chocolate cake: False Graham eats sausages: False Norman has a gold watch: False Mike likes swimming: True ------------ Puzzle number 16 (a) These are either both correct or both incorrect: Charles dislikes swimming, Harry never eats quince jelly. (b) Sam dislikes airports or Beryl cannot sing very loudly or both. (c) Either Harry eats quince jelly or Beryl cannot sing very loudly or both. (d) Either Charles dislikes swimming or Beryl cannot sing very loudly, but not both. (e) Either Harry never eats quince jelly or Charles likes swimming, but not both. (f) If it is untrue that Harry never eats quince jelly then it is also false that Sam likes airports. (g) Exactly one of Charles dislikes swimming and Beryl cannot sing very loudly is correct. (h) Either Harry eats quince jelly or Charles dislikes swimming, but not both. Beryl can sing very loudly: False Sam likes airports: False Harry eats quince jelly: True Charles likes swimming: True ------------ =============================================================== -- Clive Tooth http://www.pisquaredoversix.force9.co.uk/ End of document From none@none.edu Thu Jul 27 13:55:19 CDT 2000 Article: 326425 of sci.math Path: news.math.niu.edu!husk.cso.niu.edu!vixen.cso.uiuc.edu!news.crhc.uiuc.edu!newsfeed.stanford.edu!arclight.uoregon.edu!news.tufts.edu!news.fas.harvard.edu!not-for-mail From: labuser Newsgroups: sci.math Subject: Re: Seeking logic/syntax exercises Date: Mon, 24 Jul 2000 15:17:05 -0500 Organization: catatonia state university Lines: 15 Message-ID: <397CA43F.5BB2F136@none.edu> References: <8la3dh$ci9$1@gannett.math.niu.edu> NNTP-Posting-Host: scetr-74.fas.harvard.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; x-mac-type="54455854"; x-mac-creator="4D4F5353" Content-Transfer-Encoding: 7bit X-Mailer: Mozilla 4.7 (Macintosh; U; PPC) X-Accept-Language: en, tr, el, uk, sr, ru, zh, ja, de, fr Xref: news.math.niu.edu sci.math:326425 Dave Rusin wrote: > I have a student having trouble performing syntactical manipulations of > logical terms. I want to hand her a long list of exercises of that > type we have all seen before, like this: > "Every gleezip is a snorkl. Framitzes which are snorkls can vaupel. > Does it follow that every gleezip can vaupel?" There is a $4 Dover book of logic puzzles by George Summers entitled TEST YOUR LOGIC. Also, elementary school teachers often have booklets with similar puzzles to busy their bright, bored charges. From MWiener@m-s-g.com Fri Jul 21 14:42:11 2000 Received: from Saratoga.m-s-g.dom ([207.106.212.10]) by mail.math.niu.edu (8.9.1a/8.9.1) with ESMTP id OAA28250 for ; Fri, 21 Jul 2000 14:42:11 -0500 (CDT) Received: by SARATOGA with Internet Mail Service (5.0.1461.28) id ; Fri, 21 Jul 2000 15:45:34 -0400 Message-ID: <02573AE8D130D1119DAA0000F805AA83850E4D@SARATOGA> From: "Wiener, Matthew" To: "'rusin@rainier.math.niu.edu'" Subject: Re: Seeking logic/syntax exercises Date: Fri, 21 Jul 2000 15:45:32 -0400 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.0.1461.28) Content-Type: text/plain; charset="iso-8859-1" Status: R The ultimate in gleezip logic is Lewis Carroll SYMBOLIC LOGIC and THE GAME OF LOGIC, sold as one volume by Dover. Unfortunately, these two books are not yet available on-line. -- -Matthew P Wiener (mwiener@m-s-g.com)