:: logical proposition::

-maKsud "Logical Proposition"-



merupakan sesuatu kebenaran kenyataan pembolehubah kepada benar atau palsu.
Berikut adalah contoh :

• A = {p 7! True, q 7! False, r 7! True}

• A(p) = True A(q) = False A(r) = True

maksudnya adalah fungsi daripada kebenaran kenyataan untuk benar atau palsu .