Logika Matematika

Pernyataan adalah suatu kalimat yang bernilai benar saja atau salah saja, tetapi tidak kedua-duanya.

Benar diartikan jika ada kesesuaian antara apa yang dinyatakan dengan keadaan sebenarnya.

Konjungsi dari pernyataan p dan q adalah pernyataan majemuk yang dibentuk dari pernyataan p dan q dengan menggunakan kata penghubung "dan".
Konjungsi dilambangkan dengan notasi " $\wedge$  ".

Disjungsi dari pernyataan p dan q adalah pernyataan majemuk yang dibentuk dari pernyataan p dan q dengan menggunakan kata penghubung "atau".
Disjungsi dilambangkan dengan notasi " $\vee$ "
Jika p dan q adalah dua pernyataan, maka p  $\vee$  q (dibaca: p atau q). 

Implikasi merupakan pernyataan bersyarat.
Implikasi dari pernyataan p dan q dilambangkan dengan 

p  $\Longrightarrow$  q (dibaca: jika p, maka q). 

Biimplikasi merupakan pernyataan majemuk yang menunjukkan dua peristiwa yang terjadi serentak.

Biimplikasi dari pernyataan p dan q dilambangkan dengan 
p  $\Longleftrightarrow$ q (dibaca: p jika dan hanya jika q). 

Tentukan nilai kebenaran dari pernyataan berikut:

1. Merupakan konjungsi dengan p (B) dan q (B), maka nilainya B.
2. Merupakan biimplikasi dengan p (B) dan q (B), maka nilainya B.
3. Merupakan implikasi dengan p (B) dan q (S), maka nilainya S.
4. Merupakan disjungsi dengan p (S) dan q (S), maka nilainya S.