Michael TI-B19(043)

(1) A. p => ⌐q
p q
B B
B S
S B
S S
⌐p P=>⌐q
S S
B B
S B
B B

B. (p ⱽ ⌐p)  ⌐q
p q ⌐p ⌐q (p ⱽ ⌐q) (p ⱽ ⌐p) ⌐q
B B S S B S
B S S B B B
S B B S B S
S S B B B B

C. p ⱽ q ⱽ ⌐q
p q ⌐p ⌐q Pⱽq P ⱽ q ⱽ ⌐p
B B S S B B
B S S B B B
S B B S B B
S S B B S B

D. (p  ⌐q) ˄ p
P q ⌐p (p  ⌐p) (p ⌐q) ˄ p
B B S S S
B S B B B
S B S B S
S S B S S

E. p ˄ ⌐p
p ⌐p P ˄ ⌐p
B S B
B S B
S B B
S B B

(2) a. p ⌐p
p ⌐q P ⌐q
B S B
B B S
 S S B
S B B

b. (p Ꚛ ⌐q) q
p q ⌐q P Ꚛ ⌐q (pꚚ ⌐q) q
B B S B B
B S B S B
S B S S S
S S B B S

c. (p ↓ q) ⌐p
p q ⌐p (p Ꚛ ⌐q) (p↓q) ⌐p
B B S S B
B S S S B
S B B S B
S S B B S

d.
p q ⌐p q ⌐p p (q ⌐p)Ꚛp
B B S S B B
B S S B B S
 S B B B S B
S S B S S S

e.
p q ⌐p (pꚚq) (pꚚq)˄ ⌐p
B B S S S
B S S B S
S B B B B
S S B S S

3. (p -> q) ^ r
p q r (p -> q) (p -> q) ^ r
B B B B B
B B S B S
B S B S S
B S S S S
S B B B B
S B S B S
.S S B B B
S S S B S
(4) DIK : p=s, q=b, r=s
A. p ⱽ ⌐r =B
B. q ⌐p =S
C. p =>(⌐r ⱽ q) =B
D.(p => q) ⱽ r =B
E. r (p=> ⌐q) =B

(5)
A. jika saya merasa bosan belajar maka saya akan mendengarkan music jazz.

q => p konvers:jika saya akan medengarkan music jazz maka saya merasa bosan
belajar.
⌐p→ ⌐q invers : jika saya tidak merasa bosan belajar maka saya tidak akan
mendengarkan music jazz.
⌐q→ ⌐p kontraposisi : jika saya tidak akan mendengarkan music jazz maka saya
tidak merasa bisa belajar.

B. kami akan pergi berkemah hari ini apabila hari tidak hujan.
q → p konvers: jika hari ini tidak hujan maka kami akan berkemah hari ini.
⌐p → ⌐q invers: kami tidak akan pergi berkemah hari ini apabila hari ini hujan.
⌐q → ⌐p kontraposisi: apabila hari ini hujan maka kami tidak akan berkemah hari ini.

C. syarat cukup ntuk menjadi seorang programmer sederhana maka ia cukup

untuk menjadi seorang programmer.
q → p konvers : jika mampu membuat program sederhana maka ia cukup untuk
menjadi seorang programmer.
⌐p → ⌐q invers : jika ia tidak cukup untuk menjadi seorang programmer maka tidak
mampu membuat program sederhana.
⌐q → ⌐p kontraposisi : jika tidak mampu membuat program sederhana maka ia
tidak cukup untuk menjadi seorang programmer.

6. ⌐p → q dan ⌐q → p

p q
B B
B S
S B
S S
⌐p ⌐p → q
S B
S B
B B
B S

p q ⌐q ⌐q → p
B B S B
B S B B
S B S B
 S S B S
keduanya memiliki nilai kebenaran yang sama.
b. p → (q ^ p) dan ⌐(q ^ p) → ⌐p
p q (q ^ p) P → (q ^ p)
B B B B
B S S S
S B S B
S S S B

p q ⌐p ⌐q q^p ⌐(q ^ p) ⌐(q ^ p) → ⌐p

B B S S B S B
B S B S S B S
S B S B S B B
S S B B S B B
keduanya memiliki nilai kebenaran yang sama.