Сложные высказывания, истинные при любых значениях входящих в них других высказываний, называются тождественно истинными, а высказывания, ложные при любых значениях входящих в них других высказываний, называются тождественно ложными.
Элементы теории множеств и математической логики. Нейросети вокруг нас
·
Николай Петрович Морозов