Review
Logika
Metode atau teknik yang diciptakan untuk meneliti ketepatan
penalaran serta mengkaji prinsip-prinsip penalaran yang benar
dan penarikan kesimpulan yang absah.
Premis
Kalimat yang mengandung nilai kebenaran, yaitu dapat bernilai
Benar atau Salah, tetapi tidak keduanya.
Kalimat Terbuka
Kalimat yang memiliki variabel dan dapat menjadi pernyataan
jika variabelnya diganti dengan nilai tertentu
Argumen
Usaha untuk mencari kebenaran dari pernyataan berupa
kesimpulan dengan berdasarkan kebenaran dari satu kumpulan
pernyataan.
Pemberian Nilai Proposisi
Huruf A, B, C, dan Seterusnya digunakan untuk menggantikan
proposisi dan disebut variabel-variabel proposisional dan hanya
memiliki nilai benar (True = T) atau salah (False = F)
Example:
Jika nilai A = T dan B = F, maka A atau B menghasilkan nilai T
Tabel Kebenaran
3.1. Pendahuluan
3.2. Tabel Kebenaran
3.3. Perangkai Logika Atau Operator
3.4. Perangkai Logika Atau Operator Lainnya
Latihan Soal-Soal
PROPOSISI MAJEMUK
EKSPRESI LOGIKA
Ekspresi logika merupakan istilah lain logika
proposisional.
Ekspresi logika sebenarnya adalah proposisi-proposisi
yang dibangun dengan variabel-variabel logika yang
berasal dari pernyataan atau argumen
Variabel logika berupa huruf-huruf tertentu yang
dirangkai dengan perangkai/operator logika dapat
dinamakan ekspresi logika atau formula
Setiap ekspresi logika dapat bersifat atomik atau
majemuk, tergantung dari variabel proposisional yang
membentuknya bersama perangkai/operator yang relevan
EKSPRESI LOGIKA
Contoh:
Jika Dewi rajin belajar, maka Ia lulus ujian dan Ia mendapat hadiah
istimewa
Pernyataan di atas dapat diubah menjadi variabel proposisional:
A B ^ C
Persoalan yang timbul adalah ada dua
kemungkinan pengerjaan:
((A B) ^ C) atau (A (B ^ C))
SKEMA
Skema (Schemas) merupakan suatu cara untuk
menyederhanakan suatu proposisi majemuk yang rumit dengan
memberi huruf tertentu untuk menggantikan satu subekspresi
ataupun sub-subekspresi.
Misal:
A ^ B dapat diganti P
A v B dapat diganti Q
Bentuk fpe:
(A (B ^ C)) ^ (A D)
M = (A (B ^ C)) ^ (A D)
P = (A (B ^ C))
Q = (A D)
ATURAN PENGURUTAN
Aturan pengurutan digunakan untuk memastikan proses
pengerjaan subekspresi
Fpe:
A^BvC^D
(A ^ B) v (C ^ D)
TUGAS
1. Ubahlah pernyataan-pernyataan berikut menjadi ekspresi
logika berupa proposisi majemuk:
b. (A ^ B) v (C ^ A)
c. (A ^B) ^ ( A v C)
d. (A ^ B) C
e. A ^ ( B v C)
TUGAS
3. Tentukan prioritas ekspresi logika berikut ini dan buat
tabel kebenarannya.
a. A v B
b. A ^ B v C
c. A B v C
d. A B C
e. A v B v C^B ^ C