Словарь по логике

Невыполнимое высказывание: Высказывание A называется невыполнимым если и только если оно не бывает истинным ни при каком положении дел, ни при какой допустимой интерпретации входящих в его состав “дескриптивных” знаков. В рамках двузначной логики то же самое, что тождественно-ложное высказывание.