Operator logika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Konten dalam edit ini adalah alih bahasa dari artikel Wikipedia Bahasa Inggris en:Logical_connective (oldid 1168805821); Lihat sejarahnya untuk atribusi. |
Fitur saranan suntingan: 2 pranala ditambahkan. Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler Tugas pengguna baru Disarankan: tambahkan pranala |
||
Baris 2:
Dalam [[Logika matematika|logika]], '''operator logika''' atau '''perangkai logika''' merupakan [[konstanta logika|simbol logika]] yang dipakai untuk menghubungkan rumus-rumus logika. Sebagai contoh, dalam [[Sintaks (logika)|sintaks]] [[logika proposisional]], operasi [[Relasi biner|biner]] <math> \lor </math> dapat dipakai untuk menggabungkan dua [[rumus atomik]] <math> P</math> dan <math> Q</math>, memberikan rumus kompleks <math> P \lor Q </math>.
Operator logika pada umumnya meliputi [[negasi]], [[Logika disjungsi|disjungsi]], [[Logika konjungsi|konjungsi]], implikasi dan kesetaraan <!-- Istilah "kesetaraan" saya gunakan sebagai padanan istilah "equivalence". Saya tidak tahu istilah yang benar, mohon dikoreksi --kekavigi. -->. Dalam sistem [[logika klasik]] yang standar, operator-operator tersebut dipandang sebagai [[fungsi kebenaran]], yakni fungsi yang menerima suatu nilai kebenaran (benar atau salah) dan menghasilkan nilai kebenaran yang baru. Sedangkan dalam [[logika non-klasik]] ada beberapa interpretasi berbeda terkait definisi dari operator-operator tersebut. Interpretasi klasik dari setiap operator tersebut mirip dengan ungkapan "tidak", "atau", "dan", dan "jika" dalam [[bahasa alami]] seperti [[Bahasa Indonesia]], walau tidak identik.
[[Kategori:Operator logika]]
[[Kategori:Simbol logika]]
Baris 18:
* [[Logika disjungsi|Disjungsi (atau)]]: <math>\vee</math>, <math>A</math> (prefiks), dengan <math>\vee</math> adalah bentuk yang paling modern dan umum digunakan;
* Implikasi (jika...maka...): <math>\to</math>, <math>\supset</math>, <math>\Rightarrow</math>, <math>C</math> (prefiks), dengan <math>\to</math> adalah bentuk yang paling modern dan umum digunakan, dan <math>\supset</math> masih digunakan oleh banyak orang;
* Kesetaraan ([[jika dan hanya jika]]): <math>\leftrightarrow</math>, <math>\subset\!\!\!\supset</math>, <math>\Leftrightarrow</math>, <math>\equiv</math>, <math>E</math> (prefiks), dengan <math>\leftrightarrow</math> adalah bentuk yang paling modern dan umum digunakan, dan <math>\subset\!\!\!\supset</math> dapat menjadi pasangan yang cocok ketika menggunakan simbol implikasi <math>\supset</math>, seperti <math>\leftrightarrow</math> ketika menggunakan <math>\to</math>.
Makna hubungan [antar] pernyataan dapat berubah ketika dibubuhi operator-operator tersebut. Sebagai contoh, pernyataan ''hari ini hujan'' (disimbolkan dengan <math>p</math>) dan ''saya ada di dalam ruangan'' (disimbolkan dengan <math>q</math>) dapat berubah menjadi:
| |||