Nama : Annisa Rahma Diani

MK : LOGIKA INFORMATIKA
Tabel Kebenaran

P Q notP notQ IF P then notQ Q if and only if P E F

False False True True True True True True
False True True False True False True False
True False False True True False True False
True True False False False True false false

Notasi Interppretasi yg terbentuk :

1. : {P ← False, Q ← True}
2. : {P← True, Q ← False}

Menurut definisi E Implies F jika untuk setiap Interpretasi 1 untuk kedua kalimat E dan F, jika E
true dibawah maka F true dibawah 1

Sumber refrensi : BMP MSIM4103 Logika Informatika Modul 3