Поиск в словарях
Искать во всех

Математическая энциклопедия - противоречие

Противоречие

формула j языка узкого исчисления предикатов (УИП) такая, что во всех моделях этого языка она ложна. Формула j является П. тогда и только тогда, когда выводимо в УИП.

В. И. Гришин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985

Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Что такое противоречие
Значение слова противоречие
Что означает противоречие
Толкование слова противоречие
Определение термина противоречие
protivorechie это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):