LATIHAN 1.

4
2. Let P(x) be the statement “the word x contains the letter a.” What are these truth values?
a) P(orange) c) P(true)
b) P(lemon) d) d) P(false)
Jawab:

a) Benar c) Salah
b) Salah d) Benar
11. Let P(x) be the statement “ x=x 2.” If the domain consists of the integers, what are these truth values?
a) P(0) c) P(2) e) ∃ xP( x)
b) P(1) d) P(−1) f) ∀ xP( x)
Jawab:

a) Benar, untuk 0=02 c) Salah , 2 ≠22 e) ∃ x p ( x ) , benar , jika 1=12

b) Benar, untuk 1=12 d) Salah , (-1) ≠(−1)2 f) ∀ x p ( x ) , salah , jika 2 ≠22
20. Suppose that the domain of the propositional function P(x) consists of −5, −3, −1, 1, 3, and 5. Express
these statements without using quantifiers, instead using only negations, disjunctions, and conjunctions.
a) ∃ xP( x) d) ∃ x (( x ≥ 0)∧ P (x))
b) ∀ xP( x) e) ∃ x (¬ P (x))∧ ∀ x (( x <0)→ P(x ))
c) ∀ x( ( x=1 ) → P ( x ) )
Jawab:

a) ∃ x p ( x )
p (−5 ) ∨ p(−3)∨ p (−1)∨ p( 1)∨ p(3)∨ p (5)
b) ∀ x p ( x )

p (−5 ) ∧ p(−3)∧ p (−1)∧ p( 1)∧ p(3)∧ p (5)

c) ∀ x( ( x ≠ 1 ) → p ( x ) )
( 1+5 ≠1 ) → p (−5 ) ( (−3 ≠ 1 ) → p (−3 ) ) ( (−1≠ 1 ) → p (−1 ) ) ( ( 1≠ 1 ) → p (1 ) )( ( 3 ≠ 1 ) → p ( 3 ) ) ∧ ( ( 5 ≠1 ) → p ( 5
Atau p (−5 ) ∧ p (−3 ) ∧ p (−1 ) ∧ p ( 3 ) ∧ p (5 )
d) ∃ x ( ( x ≥ 0 ) ∧ p ( x ) )

( p ( 1 ) ∨ p ( 3 ) ∨ p ( 5 ) ) ∧ ( p (−5 ) ∧ p (−3 ) ∧ p (−1 ) ∧ p ( 1 ) ∧ p ( 3 ) ∧ p ( 5 ) )

e) ∃ x ( ¬ p ( x ) ) ❑ ∀ x ( ( x <0 ) → p ( x ) )

¿
LATIHAN 1.5
4. Let P(x, y) be the statement “Student x has taken class y,” where the domain for x consists of all
students in your class and for y consists of all computer science courses at your school. Express each of
these quantifications in English.
a) ∃ x ∃ yP(x , y) d) ∃ y ∀ xP(x , y )
b) ∃ x ∀ yP (x , y ) e) ∀ y ∃ xP(x , y )
c) ∀ x ∃ yP (x , y ) f) ∀ x ∀ yP(x , y)
Jawab:
a) ada siswa dikelas yang memilih program ilmu komputer
b) ada siswa dikelas saya yang memilih semua program ilmu komputer
c) semua siswa dikelas saya memilih program ilmu komputer
d) ada program ilmu komputer yang dipilih oleh semua siswa dikelas saya
e) semua program ilmu komputer dipilih oleh beberapa siswa dikelas saya
f) semua program ilmu komputer dipilih oleh semua siswa dikelas saya
13. Let M(x, y) be “x has sent y an e-mail message” and T (x, y) be “x has telephoned y,” where the domain
consists of all students in your class. Use quantifiers to express each of these statements. (Assume that
all e-mail messages that were sent are received, which is not the way things often work.)

a) Chou has never sent an e-mail message to Koko.

b) Arlene has never sent an e-mail message to or telephoned Sarah.
c) José has never received an e-mail message from Deborah.
d) Every student in your class has sent an e-mail message to Ken.
e) No one in your class has telephoned Nina.
f) Everyone in your class has either telephoned Avi or sent him an e-mail message.
g) There is a student in your class who has sent everyone else in your class an e-mail message.
h) There is someone in your class who has either sent an e-mail message or telephoned everyone else
in your class.
i) There are two different students in your class who have sent each other e-mail messages.
j) There is a student who has sent himself or herself an e-mail message.
k) There is a student in your class who has not received an e-mail message from anyone else in the
class and who has not been called by any other student in the class.
l) Every student in the class has either received an email message or received a telephone call from
another student in the class.
m) There are at least two students in your class such that one student has sent the other e-mail and the
second student has telephoned the first student.
n) There are two different students in your class who between them have sent an e-mail message to
or telephoned everyone else in the class.
Jawab:
m ( x , y )=x mengirim email
 T ( x , y )=x menelepon y
a) m
b) mT atau m T
c) m
d) ∀ xmx
e) ∀ x Tx atau ∃ xTx
f) ∀ xTx ⋁ mx
g) ∃ x ∀ y ( y ≠ x ) →m( x , y )
h) ∃ x ∀ y ( y ≠ x → (m ( x , y ) ⋁ T ( x , y )))
i) ∃x∃ y¿
j) ∃ xm ( x , y )
k) ∃ x ∀ y ( x ≠ y)→¿
l) ∀ x∃ y (x≠ y)⋀¿
m) ∃ x ∃ y (x ≠ y )m ( x , y ) ⋀ T ( y , x )
n) ∃ x ∃ y ( x ≠ y ) ⋀ ∀ z ( ( z ≠ x ❑≠ y ) → ( m ( x , z ) ⋁ m ( y , z ) ⋁ T ( x ,t ) ⋁ T ( y , t )) )
22. Use predicates, quantifiers, logical connectives, and mathematical operators to express the statement
that there is a positive integer that is not the sum of three squares.
Jawab:

Misal domainnya adalah bilangan semua bulat.

Bilangan bulat dikatakan positif , jika bilangan bulat itu lebih besar dari 0 “ada bilangan bulat r, yaitu
positif dan untuk ketiga bilangan bulat a, b, dan c bukan jumlah kuadrat dari 3 bilangan bulat ”

∃x¿
LATIHAN 1.6
6. Use rules of inference to show that the hypotheses “If it does not rain or if it is not foggy, then the sailing
race will be held and the lifesaving demonstration will go on,” “If the sailing race is held, then the trophy
will be awarded,” and “The trophy was not awarded” imply the conclusion “It rained.”
Jawab:
Diketahui:
W : Hujan
Q : berkabut
R : ras berlayar akan diadakan
T : demontrasi menyelamatkan nyawa akan berlangsung
S : piala akan diberikan
o ( ¬W ∨ ¬Q ) ¬ R ∧T
o R → S (premis 1)
o ¬s (premis 2)
o ¬R (premis 3)
o Modus Tollens

( ¬ ( R ⋀ T ) → ¬ ( ¬W ¬ Q ) ) (2 dan 3)
o Equivalensi
¿ (1)
o Hukum de morgan (5)
( ¬ R ¬T )
o Penambahan
(R f )
o Modus ponen
( W) (6 dan7)
o Bentuk sederhana dari h
Hujan
14. For each of these arguments, explain which rules of inference are used for each step.

a) “Linda, a student in this class, owns a red convertible. Everyone who owns a red convertible has
gotten at least one speeding ticket. Therefore, someone in this class has gotten a speeding ticket.”
b) “Each of five roommates, Melissa, Aaron, Ralph,Veneesha, and Keeshawn, has taken a course in
discrete mathematics. Every student who has taken a course in discrete mathematics can take a
course in algorithms. Therefore, all five roommates can take a course in algorithms next year.”
c) “All movies produced by John Sayles are wonderful. John Sayles produced a movie about coal
miners. Therefore, there is a wonderful movie about coal miners.”
d) “There is someone in this class who has been to France. Everyone who goes to France visits the
 Louvre. Therefore, someone in this class has visited the Louvre.”
Jawab:
a) Diberikan (menggunkan variabel)
S(x) : x adalah siswa dalam kelas ini
R(x) : x memiliki sebuah mobil merah
T(x) : x telah mendapatkan surat tilang
1) S ( linda ) R(linda) diberikan
2) ∀ x ( R ( x ) → T ( x ) ) diberikan
3) R ( linda ) → T (linda) pengurangan (y)
4) R ( linda ) 1. simplification
5) T ( linda ) modos ponen 384
6) S ( linda ) 1. simplification
7) S ( linda ) T (linda ) konjungsi 526
8) ∃ x ¿
Kesimpulan: Ada siswa dikelas ini yang mendapatkan surat tilang

b) Diberikan

Modus ponen : masing-masing dari lima teman sekamar dapat mengikuti kursus dalam algoritma

Universal generalization : kelima teman sekamar dapat mengikuti kursus dalam algoritma

Penambahan : kelima teman sekamar bisa mengikuti kursus algoritma tahun depan

Kesimpulan : kelima teman sekamar bisa mengikuti kursus algoritma tahun depan

c) Diberikan

Universal instantion : sebuah film tentang penambangan batubara yang diproduksi oleh jhon
sayles luar biasa

Modus ponen : sebuah film tentang penambangan batu bara sangat bagus

Existential generalization : ada film tentang penambangan batu bara yang luar biasa

Kesimpulan : ada film tentang penambang batu bara yang hebat

d) Diberikan
Universal instantions : seseorang dikelas ini pergi ke perancis mengunjungi louvre
Modus ponen : ada seseorang dikelas ini yang telah mengunjungi louvre
Kesimpulan : ada seseorang dikelas ini yang telah mengunjungi louvre
20. Determine whether these are valid arguments.

a) If x is a positive real number, then x 2 is a positive real number. Therefore, if a 2 is positive, where a is
a real number, then a is a positive real number.
b) If x 2=0 , where x is a real number, then x = 0. Let a be a real number with a 2=0; then a = 0.
Jawab:
a) Pernyataan ini tidak valid , dengan alasan sbb:
p →q dan q implies p
b) Pernyataan tersebut valid
LATIHAN 1.7
9. Use a proof by contradiction to prove that the sum of an irrational number and a rational number is
irrational.
Jawab:
Butikan : bilangan irrasional + bilangan rasional = bilangan irrasional
Misal : r = bilangan rsaional
i = bilangan irrasional
Anggap s = bilangan rasional
Maka : s=r+i
lihat contoh 7 : jumlah bilangan rasional s dan -r harus rasional
a c
jika s= dan r = ,dimana a , b , c da n , d ∈ Z , b ≠0 dan d ≠ 0
b d
18. Prove that if n is an integer and 3n + 2 is even, then n is even using

a) a proof by contraposition.
b) a proof by contradiction.
Jawab:
a) Butki dengan kontraposisi
Kontraposisi dari pernyataan di atas adalah “jika n adalah ganjil, maka 3 n+2 adalah ganjil.”
Untuk membuktikan kontraposisi, dibutuhkan asumsi bahwa n adalah ganjil. Dari definisi
bilangan ganjil, dapat dieskpresikan dengan bilangan bulat k , sebagai berkut.
n=2 k +1
Substitusikan n=2 k +1 ke dalam 3 n+2, didapatkan
3 n+2=3 (2 k + 1 )+2=6 k +3+ 2=6 k + 4+1=2 (3 k +2 ) +1
Sehingga kita dapatkan bilangan bulat l=3 k + 2, maka
3 n+2=2l+1
Artinya, 3 n+2 adalah bilangan ganjil
Karena kontraposisi benar, maka pernyataan tersebut benar.

b) Bukti dengan kontradiksi

Anggap bahwa 3 n+2 adalah geap dan n bukan bilangan genap. Karena n tidak genap maka n
adalah ganjil. Dari definisi bilangan ganjil, dapat dieskpresikan dengan bilangan bulat k ,
sebagai berkut.
n=2 k +1
Substitusikan n=2 k +1 ke dalam 3 n+2, didapatkan
3 n+2=3 (2 k + 1 )+2=6 k +3+ 2=6 k + 4+1=2 (3 k +2 ) +1
Sehingga kita dapatkan bilangan bulat l=3 k + 2, maka
3 n+2=2l+1
Artinya, 3 n+2 adalah bilangan ganjil
Sejauh ini, asumsi “n adalah bilangan genap”. Membawa kita ke kontradiksi bahwa 3 n+2
adalah keduanya genap dan ganjil. Ini adalah kontradiksi. Oleh sebab itu, n adalah ganjil,
adalah pernyataan yang salah. Pembuktian selesai, bahwa n haruslah menjadi bilangan genap.
22. Use predicates, quantifiers, logical connectives, and mathematical operators to express the statement
that there is a positive integer that is not the sum of three squares.
Jawab:

Misal domainnya adalah bilangan semua bulat.

Bilangan bulat dikatakan positif , jika bilangan bulat itu lebih besar dari 0 “ada bilangan bulat r, yaitu
positif dan untuk ketiga bilangan bulat a, b, dan c bukan jumlah kuadrat dari 3 bilangan bulat ”

∃x¿
27 Prove that if n is a positive integer, then n is odd if and only if 5 n+6 is odd.
Jawab:

Bilangan genap adalah sebuah bilangan yang dapat dituliskan dengan bentuk 2 k , dimana k adalah
bilangan bulat. Dengan ini, sebuah bilangan bulat genap dapat diekspresikan sebagai 2 dikalikan dengan
sebarang bilangan bulat. Sama artinya dengan bilangan ganjil adalah bilanga yang dapat ditulisakan
dengan bentuk 2 k +1, dimana k adalah bilangan bulai. Dengan ini, bilangn bulat ganjil dapat
diekspresikan sebagai 2 dikalikan dengan sebarang bilangan bulat dan ditambahkan dengan 1.

Bukti: jika n adalah ganjil, maka 5 n+6 adalah ganjil

Jika n adalah ganjil, maka n=2 k +1, dengan k ∈ bilanganbulat , sehingga

5 n+6=( 2 k +1 ) +6=10 k +5+6=10 k +11=2 (5 k ) +2 ( 5 )+1=2 (5 k+ 5 ) +1

Karena k adalah bilangan bulat, 5 k +5 juga bilangan bulat, maka dapat diekspresikan 5 n+6
dengan sebagai 2 dikalikan dengan bilangan bulat dan ditambahkan dengan 1, dengan bilangan
bulat yang dimaksud adalah 5 k +5 , dan karena itu 5 n+6 adalah ganjil.
LATIIHAN 1.8
1. Prove that n2 +1 ≥2 n when n is a positive integer with 1 ≤n ≤ 4 .
Jawab:
Kami berikan bukti lengkap hanya dengan memeriksa seluruh domain. n2 +1 ≥2 n dimana n bilangan
bulat positif dengan 1 ≤n ≤ 4 . Bukti :
o Untuk n=1

⇒ 12 +1=2 ≥ 2=21
o Untuk n=2

⇒ 22 +1=5 ≥ 4=22
o Untuk n=3

⇒ 32 +1=10≥ 9=23
o Untuk n=4

⇒ 42 +1=17 ≥ 16=24
Perhatikan bahwa untuk n=5, merupakan Ketidaksetaraan yang salah
11. Prove that there exists a pair of consecutive integers such that one of these integers is a perfect square
and the other is a perfect cube.
Jawab:
Adib : ada x dan y adalah pasangan berururtan dimana x y = y x
Solusi : 32=9
23=8
Perhitungan di atasn merupakan satu–satunya solusi.
23. The harmonic mean of two real numbers x and y equals 2 xy /(x + y) .By computing the harmonic and
geometric means of different pairs of positive real numbers, formulate a conjecture about their relative
sizes and prove your conjecture.
Jawab:

jika x=5
y=8
 Rata-rata homorik
2 xy
¿
( x + y)
258 80
¿ = =6,15
(5+ 8 ) 13
 Rata-rata geometri
¿ √ xy=√ 58 ≈ 6,32
Jika x=10
y=100
 Rata-rata homorik
 2 xy
¿
(x + y )
2.10 .100 2000
¿ = ≈ 18,18
(10+ 100 ) 110
 Rata-rata geometri
¿ √ xy=√ 10.100= √1000 ≈ 31,62
Kami menduga bahwa rata-rata harmonik dari x dan y selalu kurang dari rata-rata geometrik.
Berarti jika x dan y adalah bilangan real positif yang berbeda. (jika x=y maka keduanya adalah bilangan
real positif)