Operatory logiczne są operacjami (działaniami), które można wykonywać na zdaniach logicznych.
Do podstawowych operatorów logicznych należą:
negacja, koniunkcja, alternatywa, implikacja i równoważność.
Każdy operator przeprowadza jedno lub kilka zdań logicznych na pewną wartość logiczną.
Negacja jest podstawowym operatorem logicznym. Przekształca ona każde zdanie na zdanie o przeciwnej wartości logicznej. Inaczej nazywana jest zaprzeczeniem. Więcej »
Koniunkcja jest jednym z podstawowych operatorów logicznych. Operuje ona na dwóch zdaniach logicznych. Więcej »
Alternatywa jest jednym z podstawowych operatorów logicznych. Podobnie jak koniunkcja, operuje ona na dwóch zdaniach logicznych. Więcej »
Implikacja jest operatorem logicznym dotyczącym dwóch zdań logicznych, z których pierwsze nazywane jest poprzednikiem, drugie - następnikiem. Utożsamiana jest z wnioskowaniem. Więcej »
Równoważność jest operatorem logicznym powiązanym z implikacją. Łączy ona dwa zdania logiczne i jest prawdziwa tylko wtedy, kiedy oba te zdania mają taką samą wartość logiczną (a zatem, w sensie logiki, są sobie równoważne). Więcej »