Logika matematika dan rumus

A.logika matematika
- Logika matematika merupakan salah satu materi pelajaran matematika dan cabang logika yang mengandung kajian matematis logika. Secara matematis, logika dapat dianalisis berdasarkan nilai-nilai kebenaran.
- logika matematika adalah suatu ilmu yang mempunyai aturan penalaran yang betul dan sah dengan menggunakan bahasa matematika
1.pernyataan (kalimat deklaratif)
  Pernyataan adalah kalimat yg sudah mempunyai nilai kebenaran (benar atau salah, tetapi tidak sekaligus. Benar atau salah)
  CONTOH:
a. Ibukota negara indonesia adalah jakarta
(Pernyataan bernilai benar)
b. gajah madah adalah gubernur sulawesi tenggara
(Pernyataan bernilai salah)
c. budi adalah anak yg rajin
(Bukan pernyataan karena rajin itu bersifat relatif)
d. Rumah budi jauh dari sekolah
(Bukan pernyataan karena jauh itu relatif)
2. Kalimat terbuka
Kalimat terbuka adalah kalimat yang belum dapat di tentukan nilai kebenarannya karena masih memuat nilai variabel
  CONTOH
2 + X = 8
bernilai benar jika nilai X = 6 dan karena 2 + 6 = 8
Bernilai salah jika X = 2 karena 2 + 2 = 6
3. Negasi / ingkaran
Negasi atau ingkaran adalah suatu pernyataan yang isinya mengingkari suatu nilai pernyataan. Negasi biasa disimbolkan dengan lambang " ~ " yang berarti tidak atau bukan. Jika suatu pernyataan menyatakan bumi adalah bulat maka negasinya adalah bumi tidak bulat.
CONTOH soal
  P:dia bukan seorang pemulung
~p:dia seorang pemulung
  P:segi tiga mempunyai 3 sisi
  P:piranha merupakan ikan laut
~P:piranha bukan merupakan ikan laut

B. Dalam logika matematika, pernyataan-pernyataan kemudian disajikan dalam bentuk simbol. Berikut ini pernyataan-pernyataan yang terdapat dalam logika matematika :
a. Konjungsi
Konjungsi merupakan pernyataan majemuk yang dihubungkan dengan kata hubung "dan" atau disimbolkan dengan "∧". Pernyataan konjungsi hanya akan bernilai benar jika kedua pernyataan yang terdapat di dalamnya bernilai benar. Jika salah satu pernyataan bernilai salah, maka pernyataan konjungsi juga bernilai salah.

b. Dijungsi
Disjungsi merupakan pernyataan majemuk yang dihubungkan dengan kata hubung "atau" yang disimbolkan dengan "∨". Disjungsi merupakan kebalikan dari konjungsi. Pernyataan disjungsi hanya akan bernilai salah jika kedua pernyataan yang terdapat di dalamnya bernilai salah. Jika salah satu pernyataan bernilai benar, maka pernyataan disjungsi juga bernilai benar.

.

c. Implikasi

Implikasi adalah pernyataan majemuk yang diawali dengan kata jika dan dihubungkan dengan kata hubung "maka" yang disimbolkan dengan "→". Misal p → q dibaca jika p maka q.

d. Biimplikasi
Biimplikasi merupakan bentuk kompleks dari implikasi yang berarti "jika dan hanya jika" dan disimbolkan dengan "↔". Misal p ↔ q dibaca p jika dan hanya jika q

f. Negasi / ingkaran
Ingkaran merupakan pernyataan yang berlawanan misalnya "p  ~p", dan "q  ~q".

contoh soal:

Ket:

B = benar

S =salah '