5555241304

Dla n=2 jest szesnaście funktorów, które nazywamy funktorami dwuargumentowymi:

Tylko niektóre funktory są używane w systemach logicznych jako odpowiadające spójnikom zdaniowym występującym w dalszych wnioskowaniach.

I tak funktor jednoargumentowy

A2 nazywa się negacją (nie) i oznaczamy go lub „—1”, oraz funktory dwuargumentowe:

Bi nazywa się koniunkcją (i. funkcją AND) i oznacza „a”,

B₇ nazywa się alternatywą (lub. funkcją OR) i oznacza „v”,

B₉ nazywa się równoważnością (wtedy i tylko wtedy) i oznacza Bb nazywa się implikacją (jeżeli ... to ...) i oznacza

Bx nazywa się strzałką Peirce’a (funktorem jednoczesnego zaprzeczenia) i oznacza „4-”,

B14 nazywa się dysjunkcją (funkcją NAND, funktorem Sheffera, kreską Sheffera) i oznacza

„i”.

Funktory te porządkuje się następująco: —1, a, v, =>, <=>.