Математическая логика и теория алгоритмов
|
1.11 Аксиомы и правила вывода в ИП |
назад | оглавление | вперёд |
       Поскольку ИП является расширением ИВ, то и множество аксиом ИП является расширением множества аксиом ИВ. Логическими аксиомами для ИП являются аксиомы ИВ и аксиомы ИП:
       
       Правилами вывода в ИП служат:
       Понятие выводимой формулы определяется так же, как и в исчислении высказываний.1. | ![]() |
гипотеза |
2. | ![]() |
P1 |
3. | ![]() |
MP 1,2 |
1. | ![]() |
P1 |
2. | ![]() |
![]() ![]() |
3. | ![]() |
MP 1,2 |