funktor

funktor [lat.], log . operace, operátor, log. spojka, která z výchozích výroků vytváří výrok složený. Nejběžnější f. jsou negace, konjunkce, disjunkce, implikace, ekvivalence, neslučitelnost.