penghubung logika
/pəŋ.hu.bʊŋ lɔ.gi.ka/
🇮🇩Bahasa IndonesiaMatematikaLogikaIlmu KomputerFilsafatNetral
Ringkasan Makna
Simbol atau kata yang digunakan untuk menghubungkan dua atau lebih proposisi dalam logika formal untuk membentuk proposisi baru.
Penjelasan & Konteks Penggunaan
Penghubung logika, atau dikenal juga sebagai operator logika, adalah lambang atau kata penghubung (seperti dan, atau, tidak, jika... maka) yang digunakan dalam logika matematika dan pemrograman untuk menggabungkan pernyataan sederhana menjadi pernyataan majemuk. Nilai kebenaran dari pernyataan majemuk tersebut ditentukan oleh nilai kebenaran komponen pembentuknya serta aturan dari penghubung yang digunakan.
Contoh Penggunaan dalam Kalimat
“Dalam logika matematika, 'konjungsi' adalah salah satu jenis penghubung logika yang menyatakan hubungan 'dan'.”
→Dalam logika matematika, 'konjungsi' adalah salah satu jenis penghubung logika yang menyatakan hubungan 'dan'.
“A logical connective is used to connect two statements in propositional logic.”
→Penghubung logika digunakan untuk menghubungkan dua pernyataan dalam logika proposisional.
Asal-usul & Konteks Budaya
Istilah ini merupakan terjemahan dari bahasa Inggris "logical connective" yang berakar dari perkembangan logika formal dan matematika modern sejak abad ke-19 melalui karya tokoh seperti George Boole dan Gottlob Frege.