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