Jika proposisi p dan q adalah setara, kedua-duanya benar atau kedua-duanya salah, iaitu kedua-duanya mempunyai nilai kebenaran yang sama. Tautologi ialah pernyataan yang sentiasa benar. Percanggahan ialah pernyataan yang sentiasa palsu.
Apakah maksud P -> Q?
p → q (p membayangkan q) (jika p maka q) ialah dalil yang salah apabila p adalah benar dan q adalah salah dan benar sebaliknya.
Apakah secara logiknya bersamaan dengan P → Q?
P→Q secara logiknya bersamaan dengan ¬P∨Q. … Contoh: “Jika nombor ialah gandaan 4, maka ia adalah genap” bersamaan dengan, “nombor itu bukan gandaan 4 atau (lain) ia genap.”
Apakah P hanya jika Q?
Hanya jika memperkenalkan syarat yang perlu: P hanya jika Q bermakna kebenaran Q adalah perlu, atau diperlukan, agar P menjadi benar. Iaitu, P hanya jika Q menolak hanya satu kemungkinan: bahawa P adalah benar dan Q adalah salah.
Apabila p → q bersyarat adalah palsu?
Biar p dan q ialah dua pernyataan maka "jika p maka q" ialah pernyataan majmuk, dilambangkan dengan p→ q dan dirujuk sebagai pernyataan bersyarat, atau implikasi. Implikasi p→ q adalah palsu hanya apabila p adalah benar dan q adalah palsu; jika tidak, ia sentiasa benar.