Predikātu loģika / Конспект / Математика / ID: 540410

0,99 € В корзину

Добавить в список желаний

В списке желаний

Хочешь дешевле?

Идентификатор:540410

Автор: yozhis (9)

Оценка:

Опубликованно: 06.12.2012.

Язык: Латышский

Уровень: Университет

Литературный список: Нет

Ссылки: Не использованы

Увеличить просмотр

Фрагмент работы

Formulas konkretizācija
• Mainīgos, kuri formulā ir brīvi, sauc par mainīgajiem.
• Visus mainīgos predikātus aizvieto ar reāliem predikātiem un visus argumentus ar konkrētās kopas M reāliem objektiem; tiek iegūts izteikums (patiess vai aplams).
• Izteikums – konkretizācijas formula
Identiski patiesa formula
Formulu F sauc par identiski patiesu kopā M, ja jebkura šīs formulas konkretizācija kopā M ir patiesa
Izpildāma formula
Formulu F sauc par izpildāmu kopā M, ja eksistē patiesa šīs formulas konkretizācija kopā M
…

Коментарий автора

Комплект работ:

ВЫГОДНО купить комплект ➞ экономия −3,98 €