::Contoh Logical Equivalent::

contoh 1: 

Menunjukkan bahawa (p ∧ q) → p adalah 'tautology'.

• buktikan: mesti menunjukkan bahawa  (p ∧ q) → p <=> T)


(p ∧ q) → p <=> ¬(p ∧ q) ∨ p       Useful
<=> [¬p ∨ ¬q] ∨ p                        DeMorgan
<=> [¬q ∨ ¬p] ∨ p                        Commutative
<=> ¬q ∨ [ ¬p ∨ p ]                      Associative
<=> ¬q ∨ [ T ]                               Useful
<=> T                                            Domination

:: kepentingan Dalam "Logical Equivalent"::

• Identity

– p ∧ T <=> p

– p ∨ F <=> p

•  Domination

– p ∨ T <=> T

– p ∧ F <=> F

::Logical Equivalent::

DeFinisi: 

• Usul p dan q dipanggil kesetaraan logik (logical equivalent), jika p ↔ q  adalah 'tautology' (bermakna jika usul p dan q mempunyai jadual kebenaran yang sama) . Catatan menunjukkan bukan p <=> q menandakan p dan q adalah kesetaraan logik.

Equivalent


Contoh kepentingan dalam kesetaraan :
• DeMorgan's Laws:
• 1) ¬( p ∨ q ) <=> ¬p ∧ ¬q
• 2) ¬( p ∧ q ) <=> ¬p ∨ ¬q

:: 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 .

:: Logik ::

Definisi : 

• Menggunakan kaedah-kaedah operasi pada satu kenyataan atau beberapa kenyataan  untuk mencapai satu penyelesaian yang betul.

Nilai Kebenaran(Truth value) :

• Adalah mana-mana kenyataan sama ada benar atau palsu tetapi bukan kedua-duanya. kenyataan yang boleh diberikan nilai kebenaran, benar (T atau 1) atau Salah (F atau 0).