Jabarkan Implikasi dari Tabel kebenaran

Tabel kebenaran untuk jika p maka q (juga ditulis p → q, Cpq, p ⇒ q) adalah di bawah ini:

nama lain selain jika A maka B yaitu A hanya jika B, B jika A, A syarat cukup bagi B, B syarat perlu bagi A, A mengakibatkan B atau B menurut A.

Kesamaan atau Bikondisional (sering disebut sebagai biimplikasi saja)

Tabel kebenaran untuk p jika dan hanya jika q (juga ditulis p ↔ q, Epq, p = q, or p ≡ q) adalah di bawah ini:

nama lain selain A jika dan hanya jika B yaitu jika A maka B dan jika B maka A atau A syarat cukup dan perlu bagi B.