Lompat ke isi

Operator logika

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Revisi sejak 20 Agustus 2010 03.35 oleh Xqbot (bicara | kontrib) (bot Mengubah: fr:Connecteur logique)

Dalam logika, dua kalimat dapat digabungkan dengan operator logika untuk membentuk kalimat gabungan. Nilai kebenaran kalimat gabungan ini ditentukan oleh nilai kebenaran kalimat-kalimat pembentuknya. Operator logika di sini bertindak sebagai fungsi.

Dalam bahasa sehari-hari, dua kalimat dapat digabungkan dengan konjungsi gramatik. Misalnya:

A: Hari ini cuaca mendung
B: Hari ini akan hujan
C: Hari ini cuaca mendung dan hari ini akan hujan
D: Hari ini cuaca mendung karena itu hari ini akan hujan

Kata dan dan karena itu adalah konjungsi gramatik yang menggabungkan kalimat (A) dan (B) untuk membentuk kalimat (C) dan (D).

Dalam bahasa logika, ada 16 operator logika:


input Ainput Boutput f(A,B)X and ¬XA and B¬A and BBA and ¬BAA xor BA or B¬A and ¬BA xnor B¬A¬A or B¬BA or ¬B¬A or ¬BX or ¬X
X or ¬X¬A or ¬BA or ¬B¬A or BA or B¬B¬AA xor BA xnor BAB¬A and ¬BA and ¬B¬A and BA and BX and ¬X
(file) (file) (zoom in)


Pranala luar

  • plato.stanford.edu/entries/logical-constants/
  • finitegeometry.org/sc/16/logic.html