Т-предложение

Материал из didactis
Версия от 14:00, 13 августа 2018; Andrei (обсуждение | вклад) (Новая страница: «Т-ПРЕДЛОЖЕНИЕ — биусловное предложение, содержащее преди-кат истинности (Т) и получаемо…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Т-ПРЕДЛОЖЕНИЕ — биусловное предложение, содержащее преди-кат истинности (Т) и получаемое из схемы «s является истинным, если и только если р», где s — описание некоторого предложения, «р» — само предложение.