Apa itu Dwisyarat?

Dwisyarat ialah pernyataan dalam bentuk "jika dan hanya jika" (dipendekkan kepada "jika"). Ia adalah penghubung logik yang menggabungkan dua pernyataan dan membayangkan bahawa ia adalah setara, bermakna bahawa satu pernyataan adalah benar jika dan hanya jika pernyataan yang lain adalah benar.

Sebagai contoh, dwisyarat "Jika hujan, maka jalanan akan basah" boleh ditulis dalam bentuk simbolik sebagai:

P → Q

dimana P mewakili "hujan" dan Q mewakili "jalan akan basah". Anak panah (→) menunjukkan bahawa P membayangkan Q, bermakna jika P adalah benar, maka Q juga mesti benar.

Dalam kes ini, pernyataan dwisyarat mengatakan bahawa jika hujan, maka jalanan akan basah, tetapi ia tidak mengatakan bahawa jalanan akan basah hanya kerana hujan. Sebaliknya, ia mengatakan bahawa kedua-dua pernyataan adalah setara, dan satu tidak boleh benar tanpa yang lain benar.