связка высказываний

Мат. connective of statements