Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания. Составное логическое высказывание — это высказывание, образованное из других высказываний с логических связок. Логическая связка — это любая логическая операция над высказыванием.
