Tugas Personal ke-1

Minggu ke 2

Nofrijal Fauzan
2502032522

1. Berikut pembuktian ekuivalensi logis berdasarkan teorema. Berikan penjelasan dari

masing-masing tahapan pembuktian
Jawab :

( p ∧∼q)∨( p ∧ q)≡ p ∧(∼q ∨ q) …..(a) Distributif

≡ p ∧ ( q ∨∼ q ) …..(b) Komutatif
≡ p ∧t …. (c) Negasi
≡p …(d) identitas

2. Berikut diberikan beberapa premis dan konklusi. Buktikan validitas argument dengan
memberikan alasan pada setiap tahapan pembuktian.
Jawab :
a. ∼ p ∨q → r Premis
b. s ∨∼ q Premis
c. ∼ t Premis
d. p →t Premis
e. ∼ p ∧r →∼ s Premis
f. ∴ ∼ q Konklusi

1. p →t premis (d)
∼t premis (c)
∴ ∼p Modus Tollens
2. ∼ p by (1)
∴ ∼ p ∨q by Generalization

MATH6162 - Mathematics
 3. ∼ p ∨q → r premis (a)
∼ p ∨q by (2)
∴r by Modus ponens
4. ∼ p by (1)
r by (3)
∴ ∼ p ∧r by Conjunction
5. ∼ p ∧r →∼ s premis (e)
∼ p ∧r by (4)
∴∼s by modus ponens
6. s ∨∼ q premis (b)
∼s by (5)
∴∼q by elimination

3. Konstruksi sirkuit dari ekspresi Boolean berikut :

a. ( P ∧Q)∨∼ R
b. ( P ∧∼ Q ) ∨ ( ∼ P ∧ R )
Jawab :

4. Buktikan kebenaran pernyataan berikut.

a. Untuk setiap bilangan bulat n , jika n bilangan ganjil maka 3 n+5 merupakan bilangan
genap. Gunakan metode pembuktian langsung (direct proof)
b. Misalkan n ∈ N ,Buktikan bahwa
n( n+1)( n+2)
1.2+2.3+3.4 +4.5+ …+n(n+ 1)= .
3
Gunakan metode pembuktian Induksi Matematika
Jawaban ada di halaman berikutnya.

MATH6162 - Mathematics
Jawab :

MATH6162 - Mathematics