Anda di halaman 1dari 1

Buktikan Tautologies dengan Hukum Ekivalensi Logika 1. [p^(p->q)]->q 2. -(pvq)v[(-p)^q]vp 3. (p^q)->(p->q) 4. -p->(p->q) 5. (p^(p<->q))->q 6.

(p^(pvq))<->p Tentukan True atau False untuk setiap pernyataan berikut dimana U={1,2,3} adalah himpunan universe-nya a. ExAy, x^2 < y+1 TRUE Karena untuk x=1, maka y={1,2,3} memenuhi persamaan tsb b. AxEy, x^2+y^2 < 12 TRUE Karena .... c. AxAy, x^2+y^2 < 12 FALSE Karena 3^2+3^2 > 12

Anda mungkin juga menyukai