NAMA : TALIMATUN NAJIHA

NIM : 201510370311047

TUGAS PERTEMUAN 4

A.PRETEST

1. Buatlah tabel kebenaran dari proposisi.

Nim;Ganjil
A. ¬ A ¿ ) ∪ A
B. ( A ↔ B ) →(B↔ A)
C. ( ¬ A → B ) →( ( ¬ A → ¬ B ) → A)
2. Buatlah tabel kebenaran dari proposisi berikut:
Jika ani berangkat kekampus jika dan hanya jika adi mengendarai sepeda motor,maka adi
mengendarai sepeda motor atau ali tidak mengerjakan tugas

JAWABAN
1. A. ¬ A ¿ ) ∪ A

A ¬A (¬ A ∩ A) ¬ A ¿ ) ∪ A

T F F F
T F F F
F T F F
F T F F

B. ( A ↔ B ) →(B↔ A)

A B ( A ↔ B) ( B ↔ A) ( A ↔ B ) →(B↔ A)
T T T T T
T F F F T
F T F F T
F F T T T

C. ( ¬ A → B ) →( ( ¬ A → ¬ B ) → A)

A B ¬ A ¬ B (¬ A → B ) (¬ A → ¬ B) ¬B→ A ( ¬ A → B ) →( ( ¬ A → ¬ B ) → A)

T T F F T T T T
T F F T T T T T
T T F F T T T T
T F F T T T T T
F T T F T F F F
F F T T F T T T
F T T F T F F F
F F T T F T T T
 2. Jika ani berangkat kekampus jika dan hanya jika adi mengendarai sepeda motor,maka adi
mengendarai sepeda motor atau ali tidak mengerjakan tugas
(A↔ B ¿ ↔ ¿ B ∩ C)

A B C (A↔ B ¿ ¿ B ∩ C) (A↔ B ¿ ↔ ¿ B ∩
C)

T F T F F T
T F F F F T
T F T F F T
T F F F F T
F T T F T F
F T F F F T
F T T F T F
F T F F F T

B.POSTTEST

1. tentukan fpe dan wff dari ekspresi logika berikut:

A. A ∩ B ∩C → D ( fpe dan wff)
A = (A ∩ B ¿ B = ( B ∩C)
(A ∩ B ¿ ∩¿)
B. A ∪ B∪C ↔¬ D ( fpe dan wff
A = (A ∪ B ¿ B = (C ↔ ¬ D ¿
(A ∪ B ¿ ∪(C ↔¬ D)
C. ¬ A ∪ B →¬ C ∪ D ( bukan fpe dan wff)
A=(¬ A ∪ B) B = ¬C ∪ D
( ¬ A ∪ B ) → (¬C ∪ D ¿
D. A → B ↔ ¬C → ¬ D (fpe)
A = (A → B ¿ B = (¬C → ¬ D ¿
(A → B ¿ ↔ (¬C → ¬ D ¿
E. A ∩ B ∩C → A ∩ B ∪ C (bukan fpe dan wff)
2. Tentukan ekspresi logika berikut menggunakan tabel kebenaran
tautologi,kontradiksi dan koncingen.
A. A → ¿ → A ) (CONTINGEN)

A B ¿ → A) A → ¿ → A)

T T T T
T F F F
F T T T
F F T T

B. ¿ → A ) → A (CONTINGEN)

A B ¿ → A) ¿ → A) → A

T T T T
T F F T
F T T T
F F T F

C. ¬(¬ A → A ) (CONTINGEN)

A ¬A ¬(¬ A → A )

T F T
T F T
F T F
F T F

D. ¿ → ¬ A ) → ¿ → A ) (CONTINGEN)

A B ¬A ¬ B ¿ → ¬ A) ¿ → A) ¿ → ¬ A) → ¿ → A )

T T F F T T T
T F F T F T T
T T F F T T T
T F F T F T T
F T T F T F F
F F T T T T F
F T T F T F F
F F T T T T T
 E. ( A →(B →C)¿ →¿ ) →( A →C ) (TAUTOLOGI)

A B C ( B →C) ¿ → B) ( A →C ) ( A →(B →C)¿ →¿ ) →( A →C )

T F T T F T T
T F F T F F T
T F T T F F T
T F F T F F T
F T T T T T T
F T F F T T T
F T T T T T T
F T F F T T T