Logika Proposional
Asal Kata LOGIKA : Logic – Science or method of reasoning
Yaitu : Suatu metode untuk mengambil keputusan dari suatu fakta atau pernyataan.
Tabel Kebenaran
Predikat
Adalah : Suatu pernyataan yang memuat satu atau lebih peubah, dengan demikian nilai kebenaran dari pernyataan tersebut akan tergantung dari nilai peubah yang bersangkutan.
Contoh 1 :
P(x) = (x <4) ^ (x>2), x adalah peubah yang berisi bilangan bulat. Predikat P(x)=true, jika dan hanya jika x=3. Bila suatu nilai menggantikan peubah dalam predikat, maka ia akan menjadi preposisi :
P(2) = (2<4) ^ (2>2) dengan nilai false
P(3) = (3<4) ^ (3>2) dengan nilai true
P(4) = (4<4) ^ (4>2) dengan nilai false
Dengan demikian, dapat dikatakan bahwa suatu predikat merupakan kumpulan dari banyak preposisi, satu macam preposisi untuk setiap kombinasi nilai peubah
Asal Kata LOGIKA : Logic – Science or method of reasoning
Yaitu : Suatu metode untuk mengambil keputusan dari suatu fakta atau pernyataan.
- Seringkali Logika disepadankan dengan nalar, yaitu suatu proses berfikir manusia untuk menghubungkan fakta atau pernyataan sehingga sampai pada suatu kesimpulan.
- Data, fakta ataupun pernyataan yang akan dinalar boleh salah boleh benar.
Tabel Kebenaran
P
|
Q
|
P^Q
|
PVQ
|
-P
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
F
|
T
|
F
|
F
|
T
|
F
|
T
|
T
|
F
|
F
|
F
|
F
|
T
|
Predikat
Adalah : Suatu pernyataan yang memuat satu atau lebih peubah, dengan demikian nilai kebenaran dari pernyataan tersebut akan tergantung dari nilai peubah yang bersangkutan.
Contoh 1 :
P(x) = (x <4) ^ (x>2), x adalah peubah yang berisi bilangan bulat. Predikat P(x)=true, jika dan hanya jika x=3. Bila suatu nilai menggantikan peubah dalam predikat, maka ia akan menjadi preposisi :
P(2) = (2<4) ^ (2>2) dengan nilai false
P(3) = (3<4) ^ (3>2) dengan nilai true
P(4) = (4<4) ^ (4>2) dengan nilai false
Dengan demikian, dapat dikatakan bahwa suatu predikat merupakan kumpulan dari banyak preposisi, satu macam preposisi untuk setiap kombinasi nilai peubah
No comments:
Post a Comment