Logika Informatika

Nama : Arga Chandra F

NRP : 201111041

Diketahui :
p = Dia orang kaya
q = Dia bahagia
(Asumsikan “Dia orang miskin” = ~p)
Tuliskan setiap pernyataan dalam bentuk simbolik :
1. Menjadi kaya adalah syarat cukup untuk bahagia
- P→q
2. Seseorang tidak akan pernah bahagia bilamana ia kaya
- ~q →p
3. Dia miskin hanya jika ia bahagia
- ~p → q
4. Menjadi kaya berarti sama seperti menjadi bahagia
- P=q
5. Perlu menjadi miskin agar bahagia
- ~p →q
6. Menjadi miskin berarti tidak bahagia
- ~p →~q