Т-предложение — различия между версиями

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

Текущая версия на 18:46, 18 августа 2018

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

Павелёнис с. 281