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


menggunakan jadual kebenaran untuk membuktikan dua(2) usul adalah kesetaraan logik:

p	q	¬p	¬q	¬(p ∨ q)	¬p ∧ ¬q
T	T	F	F	F	F
T	F	F	T	F	F
F	T	T	F	F	F
F	F	T	T	T	T

video :: Propositional Logic