Logická operace
Z Wikipedie, otevřené encyklopedie
Logická operace je v matematice taková operace s výroky, jejíž výsledkem je opět výrok, jehož pravdivostní hodnota (PRAVDA nebo NEPRAVDA) závisí na pravdivosti výroků a druhu operace.
Základní unární logickou operací je negace. Základními binárními operacemi jsou konjunkce, disjunkce, implikace a ekvivalence.

