Definisi 1.2.1. Implikasi.
Suatu implikasi (atau kondisional) adalah pernyataan majemuk berbentuk
\begin{equation*}
P \imp Q
\end{equation*}
dengan \(P\) dan \(Q\) merupakan pernyataan. Kita mengatakan bahwa
-
\(P\) adalah premis (atau anteseden).
-
\(Q\) adalah kesimpulan (atau konsekuen).
Suatu implikasi bernilai benar jika \(P\) salah atau \(Q\) benar (atau keduanya), dan bernilai salah dalam keadaan lainnya. Secara khusus, satu-satunya cara agar \(P \imp Q\) bernilai salah adalah ketika \(P\) benar dan \(Q\) salah.