Upload
theresapainter
View
220
Download
0
Embed Size (px)
Citation preview
8/13/2019 Discrete Maths 2003 Lecture 08 3 Slides Pp
1/3
8/13/2019 Discrete Maths 2003 Lecture 08 3 Slides Pp
2/3
Lecture 8, 7-August-20Discrete Mathematics 2003
4
4.2 Propositions
In arithmetic we work with numbers Similarly, the fundamental objects in logic
arepropositions
Definition: Aproposition is a statement
that is either true or false. Whichever of
these is the case is called the truth value of
the proposition.
5
Examples of Propositions
1 There are 200 cents in a dollar.
2 The 1956 Olympic Games were held inMelbourne.
3 The assessment for Discrete Maths consists ofone exam and two tests.
4 To pass Discrete Maths you must gain a markof at least 50% on the exam.
5 Every even number greater than 2 is the sumof two prime numbers.
(2) & (3) are true; (1) & (4) are false
(5) is either true or false noone knows which!
6
Goldbachs Conjecture The proposition Every even number greater than
2 is the sum of two prime numbers is known asGoldbachs Conjecture
It appears to be true e.g. 20 = 7 + 13,54 = 17 + 37, 88 = ? + ?, etc
However, noone has been able to show that everyeven no. is the sum of 2 prime nos.
In 2000, there was even a $1 million prize (froma book publisher) for a proof of the Conjectureby 15 March 2002 but nobody claimed it
The Univ of Tennessee has some current info:www.utm.edu/research/primes/notes/conjectures/
http://www.utm.edu/research/primes/notes/conjectures/http://www.utm.edu/research/primes/notes/conjectures/8/13/2019 Discrete Maths 2003 Lecture 08 3 Slides Pp
3/3
Lecture 8, 7-August-20Discrete Mathematics 2003
7
Examples of non-Propositions
1 Stop talking.
2 What day of the week is it today?3 This sentence is false.
(1) is a command & (2) is a question soneither are propositions
(3) is aself-referentialstatement i.e. itmakes a statement about itself
(3) initially seems to be a proposition, but
problems occur when we try to determinewhether it is true or false
8
Paradoxes
This sentence is false is termed aparadox
Paradoxes cause difficulties if we allow them aspropositions so we wont consider self-referential statements at all in our work on logic
Sentences such as Winter is cold & Footballis boring are sometimes not regarded aspropositions because it can be argued that theirtruth values arent well defined
We willallow such sentences as propositions
9
Predicates
y < 3 is an example of apredicate
A predicate is a statement which contains 1 or
more variables it cannot be assigned a truth
value until the value(s) of the variable(s) are
specified
e.g. ify = 2, the sentence is true, but ify = 4,
it is false
Well look at predicate logic later in Chap. 4