Сложное высказывание, истинное тогда и только тогда, когда все составляющие его простые высказывания истинны, называется