programming tutorial 2

Attribution Non-Commercial (BY-NC)

152 views

programming tutorial 2

Attribution Non-Commercial (BY-NC)

- Lecture Notes for Transition to Advanced Mathematics
- R. Bartle, D. Sherbert Instructors Manual - Introduction to Real Analysis
- Lecture 02
- Recherche Operationnelle
- asdf
- Syllogisms Tricks With Examples Complete Explanation
- Chapter1 Functions Notes
- AlgoAssignment 2
- Moura 2011
- Adrian Rezus - Lambdas, Types and Proofs - A Selective Bibliography 1981-2011
- PredicateLogic
- 01 Basic Notions 1
- logick
- Extended K-Map for Minimizing Multiple Output Logic Circuits
- 2.2
- [Imre Ruzsa] Introduction to Metalogic With an AP(BookZa.org) (1)
- 03-BooleanAlgebra
- An Enveloping Framework for the Windowed Fourier, Continuous Wavelet and S-Transforms
- Planner
- Mathematical Proofs Chp2

You are on page 1of 3

Subject: Session:

Tutorial 2

Part A

1. 2.

Proof Techniques II

Show that for any integer n, n2 2 is not divisible by 4. Show that for any real numbers x and y, max (x, y) min (x, y) = |x y|.

Part B

1. In the questions below suppose that Q(x) is x+1 = 2x, where x is a real number. Find the truth value of the statement. (i) Q(2) (ii) x Q(x) (iii) x Q(x) 2. In the questions below P(x,y) means x + 2y = xy, where x and y are integers. Determine the truth value of the statement. a) P(1,1). b) P(0,0). c) y P(3,y). d) xy P(x,y). e) xy P(x,y). f) yx P(x,y). g) yx P(x,y). h) xy P(x,y). 3. In the questions below suppose the variable x represents students and y represents courses, and: U(y): y is an upper-level course M(y): y is a math course F(x): x is a freshman B(x): x is a full-time student, T(x,y): student x is taking course y.

-1-

TDS1191, Tutorial 2

Write the statement using these predicates and any needed quantifiers. a) Eric is taking MTH 281. b) All students are freshmen. c) Every freshman is a full-time student. d) No math course is upper-level. 4. In the questions below suppose the variable x represents students and y represents courses, and: M(y): y is a math course F(x): x is a freshman B(x): x is a full-time student T(x,y): x is taking y. Write the following statement in good English without using variables in your answers. a). xy T(x,y). b) xy T(x,y). c) xy [(B(x) F(x)) (M(y) T(x,y))]. 5. In the questions below assume that the universe for x is all people and the universe for y is the set of all movies. Using the predicates S(x,y): x saw y, L(x,y): x liked y. write the following statements in good English without using variables in your answer. a) y S(Margaret,y). b) yx L(x,y) c) xy L(x,y). 6. In the questions below let F(A) be the predicate A is a finite set and S(A,B) be the predicate A is contained in B (which is the same as A is a subset of B). Suppose the universe of discourse consists of all sets. Translate the statement into logical expressions. a) Not all sets are finite. b) Every subset of a finite set is finite. c) No infinite set is contained in a finite set. d) The empty set is a subset of every finite set. 7. Using the predicates. P(x) = x is a clear explanation Q(x) = x is satisfactory R(x) = x is an excuse formalize the following statements. a) All clear explanations are satisfactory. b) Some excuses are unsatisfactory. c) Some excuses are not clear explanations. Show that the premises a) and b) imply the conclusion c).

-2-

TDS1191, Tutorial 2

8. Express the negation of the following statements so that no negation symbols appear outside a quantifier or an expression involving logical connectives. a) xy [F(x,y) (Q(x) S(y))] b) x y [(Q(x) F(x,y)) S(y)] c) xy [Q(x) S(y) F(x,y) P(x)] 9. Assuming p(x) means that x is a person, c(x) means that x is a chocolate bar and e(x,y) means that x eats y. Give English translations of the following formulas.

a) [(x (p(x) q(x))) ( x p(x))] x q(x) b) [(x (P(x) Q(x))) (x (Q(x) S(x))) (x (R(x) S(x))) (x P(x))] x R(x)

11. Prove by formal reasoning that the premises a) If a student works hard, he/she will pass all his/her subjects b) Terry did not pass Discrete Structures imply the conclusion c) Terry did not work hard. 12. Prove by formal reasoning that the premises a) All movies produced by James Stewart are wonderful. b) James Stewart produces a movie sharks. imply the conclusion c) there is a wonderful movie about sharks.

-3-

- Lecture Notes for Transition to Advanced MathematicsUploaded byAngela Walters
- R. Bartle, D. Sherbert Instructors Manual - Introduction to Real AnalysisUploaded byAnonymous dkML2wzU
- Lecture 02Uploaded bysamoray1xp
- Recherche OperationnelleUploaded byboil35
- asdfUploaded byjasper_cacbay
- Syllogisms Tricks With Examples Complete ExplanationUploaded bySachin Sahoo
- Chapter1 Functions NotesUploaded byplj_jane6508
- AlgoAssignment 2Uploaded byMiel Abdul Rahman
- Moura 2011Uploaded byshastry
- Adrian Rezus - Lambdas, Types and Proofs - A Selective Bibliography 1981-2011Uploaded byadrianrezus
- PredicateLogicUploaded byArjun Kr
- 01 Basic Notions 1Uploaded byNariman Ney
- logickUploaded byoriginalorextracrisp
- Extended K-Map for Minimizing Multiple Output Logic CircuitsUploaded byAnonymous e4UpOQEP
- 2.2Uploaded bymtopuzov88
- [Imre Ruzsa] Introduction to Metalogic With an AP(BookZa.org) (1)Uploaded bygiancarlo7mantero7as
- 03-BooleanAlgebraUploaded byElizabeth Porras
- An Enveloping Framework for the Windowed Fourier, Continuous Wavelet and S-TransformsUploaded byRockBrentwood
- PlannerUploaded byWeverton Carvalho
- Mathematical Proofs Chp2Uploaded byMike Parisi
- Global Optimal Solution FoundUploaded byrahmielf
- easy GameUploaded byakhil
- Prolog Versus You_ an Introduction to Logic Programming [Johansson, Eriksson-Granskog & EdmanUploaded byTörök Zoltán
- summer 2016 philo 103Uploaded byapi-196193978
- From Machine Learning to Machin reasoning.pdfUploaded byalexandra_levsky
- Prelim-1stQ_GenMathv.2.0Uploaded byJohn Dale Evangelio
- MMW-Lecture-3-Math-Statements_1.pptUploaded byDan McQuinne Posek
- Perspectives on the History of Mathematical Logic.pdfUploaded byPallab Chakraborty
- Henk IncompletenessUploaded byToghrul Karimov
- 8-11 (1)Uploaded byAnand Duraiswamy

- Encryption RSAUploaded byAppleCake
- PLO AND CLOUploaded bythe3rd
- Microsoft Word 2010Uploaded bythe3rd
- Microcomputer application chapter 1Uploaded bythe3rd
- Student RecordUploaded bythe3rd
- log1Uploaded bythe3rd
- Laudon_MIS13_ch01.pptUploaded byRaman Mac
- RUBIC SCHEMEUploaded bythe3rd
- Tutorial 3 2006Uploaded bythe3rd
- Assignment 02 - AnswerUploaded bythe3rd
- StoryboardUploaded bythe3rd
- Term and condition SSMUploaded bythe3rd
- Tutorial 4Uploaded bythe3rd
- Tutorial 1 2006Uploaded bythe3rd
- Template ResumeUploaded bythe3rd
- Template UserUploaded bythe3rd
- CompanyUploaded bythe3rd
- sqlUploaded bythe3rd
- Database SQLUploaded bythe3rd
- commandUploaded bythe3rd
- 1 (1)Uploaded bythe3rd

- Lambrecht K.-information Structure and Sentence Form_ Topic, Focus, And the Mental Representations of Discourse ReferentsUploaded byThéo Amon
- Reality - A Synthesis Garrigou-LagrangeUploaded byMartin G. Snigg
- 06 Fiorina 1995Uploaded byvitorvasquez
- Jacquette - Two Sides of Any IssueUploaded byfael_j_silv
- nlecture1428551440.pdfUploaded byasif usman
- NCERT_12_Maths_Part_1.pdfUploaded byora1user
- Peirce, Regenerated Logc, Monist, 1896Uploaded bypaul_advaita
- midterm+ansUploaded byVenkateshVedala
- argumentUploaded byapi-236554222
- Institutional TheoryUploaded byusuyitik
- Yaroslav D. Sergeyev- Numerical point of view on Calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domainsUploaded byNine000
- TuringMachine Must Read GuideUploaded byManu Thakur
- (Universitext) Robert B. Reisel (Auth.)-Elementary Theory of Metric Spaces_ a Course in Constructing Mathematical Proofs-Springer-Verlag New York (1982)Uploaded byAsk Bulls Bear
- Müller, Fernando - Justifuing the Right to Justification in Rainer ForstUploaded byMatheus Garcia
- KEE322_EE 2003 S2Uploaded byMu'izz Kahar
- CRTUploaded byManikanta Devarakonda
- Pr2 Lecture 2Uploaded byJay-r Matibag
- Ismail H. Altaş-Fuzzy Logic Control in Energy Systems with Design Applications in MatLab_Simulink-IET (2017).pdfUploaded byesteban lopez espinel
- Introduction to Measure and Integration, S. J. TaylorUploaded byDiogoColen1906
- 79Digital LogicUploaded byNaga Sudhir
- Cbse Xii Boolean Algebra 130206085155 Phpapp01Uploaded byayyappan.ashok6713
- Syllabus SemanticsUploaded byanik
- DM HomeWork1Uploaded bybasualok@rediffmail.com
- Frithjof Schuon-Language of the Self_ Essays on the Perennial Philosophy-World Wisdom (1999).pdfUploaded byMusersame
- Galileo AssayerUploaded bydavidrojasv
- On Wittgenstein's `Solipsism'Uploaded byIgnacio Basello
- Jourdain-The Logical Work of LeibnizUploaded bylosolores
- CANEncountering the List Georges Perec and the Archive as Spatial ParadigmUploaded byFDRbard
- mlUploaded byRaduC43
- BECKER, Carl L. the Heavenly City of the Eighteenth-century PhilosophersUploaded byBaruch Bronenberg

## Much more than documents.

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

Cancel anytime.