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