LOGIKA SIMBOLIS
- Logika simbolis adalah ilmu tentang penyimpulan yang sah (absah) yang dikembangkan menggunakan metode matematika dan bantuan simbol-simbol khusus sehingga memungkinkan seseorang menghindari makna ganda dari bahasa sehari-hari.
- Pelopornya adalah Leibniz, De Morgan, dan Boole.
- Logika ini menggunakan bahasa simbol untuk mempelajari secara rinci bagaimana akal harus bekerja dan bercirikan teknis, matematis, dan ilmiah. Pemakaian simbol matematika ini untuk mewakili bahsa dalam bentuk pernyataan yang bernilai benar atau salah.
- Logika simbolis ini kemudian menjadi dasar logika matematika modern yaitu logika formal yang semata-mata menelaah bentuk dan bukan isi dari apa yang dibicarakan.
FUNGSI/OPERATOR LOGIKA
- Operator logika digunakan untuk membentuk proposisi baru dari satu atau lebih proposisi yang sudah ada.
- Proposisi adalah pernyataan yang sudah dapat dipastikan benar atau salah tapi tidak keduanya sekaligus (TRUE FALSE).
- Jenis-jenis Operator Logika
- Logika simbolis adalah ilmu tentang penyimpulan yang sah (absah) yang dikembangkan menggunakan metode matematika dan bantuan simbol-simbol khusus sehingga memungkinkan seseorang menghindari makna ganda dari bahasa sehari-hari.
- Pelopornya adalah Leibniz, De Morgan, dan Boole.
- Logika ini menggunakan bahasa simbol untuk mempelajari secara rinci bagaimana akal harus bekerja dan bercirikan teknis, matematis, dan ilmiah. Pemakaian simbol matematika ini untuk mewakili bahsa dalam bentuk pernyataan yang bernilai benar atau salah.
- Logika simbolis ini kemudian menjadi dasar logika matematika modern yaitu logika formal yang semata-mata menelaah bentuk dan bukan isi dari apa yang dibicarakan.
FUNGSI/OPERATOR LOGIKA
- Operator logika digunakan untuk membentuk proposisi baru dari satu atau lebih proposisi yang sudah ada.
- Proposisi adalah pernyataan yang sudah dapat dipastikan benar atau salah tapi tidak keduanya sekaligus (TRUE FALSE).
- Jenis-jenis Operator Logika
No.
|
Perangkai Logika
|
Istilah
|
Simbol
|
1.
2. 3. 4. 5. |
Dan (and)
Atau (or) Bukan (not) Jika ..., maka ... Jika ..., dan hanya jika ... |
Konjungsi
Disjungsi Negasi Implikasi Ekuivalensi |
^
v ¬ ? ? |
1. KONJUNGSI ( ^ ) = dan / and
Konjungsi adalah proposisi yang bernilai TRUE (benar) jika proposisi A dan B keduanya TRUE (benar), dan proposisi yang lainnya pasti FALSE (salah).
Tabel Kebenaran :
A
|
B
|
A^B
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
F
|
Contoh :
A = Ammah ingin membeli baju.
B = Ammah ingin membeli tas.
A^B = Ammah ingin membeli baju dan tas.
2. DISJUNGSI ( v ) = atau / or
Konjungsi adalah proposisi yang bernilai FALSE (salah) jika proposisi A dan B keduanya (FALSE) salah, dan proposisi yang lainnya pasti TRUE (benar).