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