0 Up votes0 Down votes

105 views3 pagesJan 27, 2012

© Attribution Non-Commercial (BY-NC)

PDF, TXT or read online from Scribd

Attribution Non-Commercial (BY-NC)

105 views

Attribution Non-Commercial (BY-NC)

- Developing Idea Processor (Axon2000)
- Airport Problem Simulation
- Propositions&Arguments
- Lec 02- Recursive Definition
- Explain Node Functions - Process Integration - SCN Wiki
- exam2015.pdf
- A Design of a Configurable Feature Model Configura
- Everywhere
- Holographic Management in Home without Marriage and Family
- Anexa Move
- j.1755-2567.1985.tb00093.x.pdf
- Metalogic Review
- What is Express Opinion
- rt
- autoptimize_29fc2c9ae74068eb1ba1c9f5866331f1
- Computer Science Syllabus For NET Exam
- chap.1.new
- Array List Stack Queue
- stacks_qsdddd
- DSTR

You are on page 1of 3

Section 1.1

Exercise 1: Let p, q, and r be the propositions p:Grizzly bears have been seen in the area. q:Hiking is safe on the trail. r:Berries are ripe along the trail. Write these propositions using p, q, and r and logical connectives. (a) It is not safe to hike on the trail, but grizzly bears have not been seen in the area and the berries along the trail are ripe. (b) Hiking is not safe on the trail whenever grizzly bears have been seen in the area and berries are ripe along the trail. Express each of these propositions as an English sentence. (c) r p (d) r (q p) Solution: (a) q p r (b) (p r) q (c) Berries are ripe along the trail, but grizzly bears have not been seen in the area. (d)If berries are ripe along the trail, hiking is safe if and only if grizzly bears have not been seen in the area. Exercise 2: State the converse, contrapositive, and inverse of each of these conditional statements. (a) If it snows today, I will ski tomorrow. (b) I come to class whenever these is going to be a quiz. Solution: (a)Converse: I will ski tomorrow only if it snows today. Contrapositive: If I dont ski tomorrow, then it will not have snowed today. Inverse: If it does not snow today, then i will not ski tomorrow. 1

(b) The proposition as stated can be rendered If there is going to be a quiz, then I will come to class. Converse: If I come to class, then there will be a quiz. Contrapositive: If I dont come to class, then there wont be a quiz. Inverse: If there is not going to be a quiz, then I dont come to class.

Section 1.2

Exercise 3: Show that (p r)(q r) and (pq) r are logically equivalent. Solution: We hope to prove (p r) (q r) (p q) r LHS (p r) (q r) (p q) (r r) (p q) r RHS (p q) r (p q) r Therefore, LHS = RHS. Exercise 4: Show that (p q) (p r) (q r) is a tautology. Solution: (p q) (p r) (q r) ((p q) (p r)) (q r) ((p q) (p r)) (q r) ((p q) (p r)) (q r) ((p q) q) ((p r) r) ((p q) (q q)) ((p r) (r r)) ((p q) T) ((p r) T) (p q) (p r) (p p) q r T q r T Exercise 5: Show that (p q) r and p (q r) are not equivalent. Solution: To show that these are not logically equivalent, we need only nd one 2

assignment of truth values to p, q and r for which the truth values of (p q) r and p (q r) differ. One such assignment is F for all three. Then (p q) r is false and p (q r) is true.

Section 1.3

Exercise 6: Translate each of these statements into logical expressions in three different ways by varying the domain and by using predicates with one and with two variables. (a) There is a student in your school who cannot speak Hindi. (b) A student in your school knows Java, Prolog, and C++. Solution: Let Y (x) be the propositional function that x is in your school or class. (a) If we let H(x) be x can speak Hindi. then we have xH(x) if the universe is just your schoolmates, or x(Y (x) H(x)) if the universe is all people. If we let S(x, y) mean that person x can speak language y, then we can rewrite this last one as x(Y (x) S(x, Hindi)). (b) If we let J(x), P (x), and C(x) be the propositional functions asserting xs knowledge of Java, Prolog, and C++, respectively, then we have x(J(x) P (x) C(x)) if the universe is just your schoolmates, or x(Y (x) J(x) P (x) C(x)) if the universe is all people. If we let K(x, y) mean that person x knows programming language y, then we can rewrite this last one as x(Y (x) K(x, Java) K(x, P rolog) K(x, C + +)). Exercise 7: Translate these specications into English where F (p) is Printer p is out of service, B(p) is Printer p is busy. L(j) is Print job j is lost and Q(j) is Print job j is queued. (a)p(F (p) B(p)) jL(j) (b)pB(p) jQ(j) (c)j(Q(j) L(j)) pF (p) (d)(pB(p) jQ(j)) jL(j) Solution: (a) If there is a printer that is both out of service and busy, then some job has been lost. (b) If every printer is busy, then there is a job in the queue. (c) If there is a job that is both queued and lost, then some printer is out of service. (d) If every printer is busy and every job is queued, then some job is lost.

- Developing Idea Processor (Axon2000)Uploaded byG0r9eo
- Airport Problem SimulationUploaded byPrashant Kumar
- Propositions&ArgumentsUploaded byTuti007
- Lec 02- Recursive DefinitionUploaded byRooni Khan
- Explain Node Functions - Process Integration - SCN WikiUploaded byParvez2z
- exam2015.pdfUploaded byÅmshik Låmå
- A Design of a Configurable Feature Model ConfiguraUploaded byJuliano Pires
- EverywhereUploaded byredgoriya
- Holographic Management in Home without Marriage and FamilyUploaded byBaican Cao
- Anexa MoveUploaded byPeterAttilaMarco
- j.1755-2567.1985.tb00093.x.pdfUploaded byelias
- Metalogic ReviewUploaded byFred_Mayweather
- What is Express OpinionUploaded byrobert Radzif
- rtUploaded byAmit Singh
- autoptimize_29fc2c9ae74068eb1ba1c9f5866331f1Uploaded byAshish Ratan
- Computer Science Syllabus For NET ExamUploaded byPradeep Soni
- chap.1.newUploaded byRobertBellarmine
- Array List Stack QueueUploaded byamishadalal
- stacks_qsddddUploaded bykazi wahex
- DSTRUploaded byJoshua Jebaraj Joseph
- STIA2023_StackNQueueUploaded byHafizi Nordin
- lj212Uploaded byirwanalias
- Stacks and QueuesUploaded byAnonymous yIJZrtGy
- 07 Rules of InferenceUploaded bySawant_Ashish_609
- What is Strategic Cost ManagementUploaded byNiro Thakur
- ResolutionUploaded bydude_today
- web 3Uploaded byapi-491274577
- DO_s2018_021_0Uploaded bymartsambalud
- research-research2.docxUploaded byChoclate Mannata
- hazelcast-documentation.pdfUploaded byTroy Sanchez

- RSD FrameworkUploaded byStan Stans
- Probability NotesUploaded byJashid Hameed
- 109HarvLRev923Uploaded byIsaac Gelbfish
- AnalysisUploaded byffZ
- Isabelle StengersUploaded byAlejandra Pombo
- SchillerUploaded bydaniparicio
- basic steiner exercises.pdfUploaded bydanielle_toews
- Shiner rUploaded byCarina Perticone
- The Legal Principle of Reciprocity is GroundedUploaded byAnthony J. Fejfar
- John Wild Heidegger's PhilosophyUploaded byNorman Crowther
- ResearchUploaded byZoren Albani Hugo
- does god exist essayUploaded byapi-325604796
- Practice FinalUploaded byAhmed Gouda
- Semantics - FinalUploaded byFARRUKH BASHEER
- IdealismUploaded byMohankumar0205
- PhenomenologyUploaded byheatherphilip
- Dennett, Daniel - Consciousness: How Much is That in Real Money? (2001)Uploaded bystampit
- 06 Husserl - The Encyclopaedia Britannica Article - Draft B, 'Attempt at a Second Draft' and Heidegger - Letter to HusserlUploaded byAleksandra Veljkovic
- General Philosophy MT17Uploaded byCharles J. Styles
- PLATO'S DOCTRINE OF ARTISTIC IMITATION AND ITS MEANING TO USUploaded byRaquel Romberg
- CS6180 Intro Constructive Type TheoryUploaded byAmir Kumar
- 1999 - Thinking skills is realistic mathematicsUploaded byMarcele Tavares
- Badiou Manifesto for PhilosophyUploaded byprotevi
- 89636644-Learning-Theories-and-Principles-Ppt.pptxUploaded byWaheed Sarkar Ahmed
- Prueba del almaUploaded byNicolásVera
- Artificial IntelligenceUploaded bySean Frez
- 科学Uploaded byYong Hui
- sonyericsssonUploaded byAdrija Turka
- Wittgenstein and Metaphor Jerry GillUploaded byInbal Reshef
- the fathers of calculusUploaded byapi-321155161

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.