Т-предложение — различия между версиями
Andrei (обсуждение | вклад) (Новая страница: «Т-ПРЕДЛОЖЕНИЕ — биусловное предложение, содержащее преди-кат истинности (Т) и получаемо…») |
Andrei (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
Т-ПРЕДЛОЖЕНИЕ — биусловное предложение, содержащее преди-кат истинности (Т) и получаемое из схемы «s является истинным, если и только если р», где s — описание некоторого предложения, «р» — само предложение. | Т-ПРЕДЛОЖЕНИЕ — биусловное предложение, содержащее преди-кат истинности (Т) и получаемое из схемы «s является истинным, если и только если р», где s — описание некоторого предложения, «р» — само предложение. | ||
+ | |||
+ | [[Павелёнис]] с. 281 |
Текущая версия на 18:46, 18 августа 2018
Т-ПРЕДЛОЖЕНИЕ — биусловное предложение, содержащее преди-кат истинности (Т) и получаемое из схемы «s является истинным, если и только если р», где s — описание некоторого предложения, «р» — само предложение.
Павелёнис с. 281