Числення висловлень: відмінності між версіями
[неперевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
мНемає опису редагування |
|||
Рядок 43:
=== Приклад 1 ===
# Алфавіт (елементи множини <math>\Alpha</math>) числення висловлень складається з елементарних висловлень (пропозиційних змінних): <math>a,b,c,d,\dots,x,y,z</math> (можливо з індексами), логічними операціями є <math>\lor , \land , \lnot , \rightarrow
# Поняття формули визначається аналогічно алгебрі висловлень.
## всі пропозиційні змінні та елементарні висловлення є формулами;
Рядок 88:
| 5 || <math>D\rightarrow D</math> || 3, 4 і modus ponens.
|}
=== Приклад 2 (аксіоми Лукашевича) ===
|