Dua proposisi P(p,q,…) dan Q(p,q,…) dibuat ekivalen atau equal (logically equivalent) dinotasikan oleh P(p,q,…) Q(p,q,…) jika kedua proposisi tersebut mempunyai tabel kebenaran yang identik.
Argumen Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P1, P2,…,Pn yang disebut premis menghasilkan (sebagai konsekuensinya) proposisi lain Q, yang disebut konklusi (conclusion).Dinotasikan sebagai P1, P2,…,Pn Q Nilai kebenaran dari suatu argumen ditentukan sebagai berikut : Suatu argumen P1, P2,…,Pn Q jika Q bernilai benar untuk semua premis yang benar, dan argumen dalam keadaan selain itu dikatakan salah. Dengan demikian argumen adalah suatu statemen, yakni mempunyai kebenaran. Argumen yang benar disebut argumen yang valid, dan argumen yang salah disebut fallacy.
Implikasi Logik (Logical Implication) Proposisi P(p,q,…) dikatakan logically imply proposisi Q(p,q,…) dituliskan P(p,q,…) Q(p,q,…) Jika Q(p,q,…) benar untuk P(p,q,…) yang benar.