Пусть требуется обосновать выводимость | |
![]() | |
Ход обоснования: | |
(1) ![]() | - гипотеза |
(2) ![]() | - гипотеза; |
(3) p | – из (2) по УК1; |
(4) ![]() | - из (1), (3) по УИ1; |
(5) q | – из (2) по УК2; |
(6) r | – из (4), (5) по УИ1. |
Таким образом, по определению вывода на основе (1)-(6).
Пример. Докажем, что из гипотез ,
, p выводима формула q.
Ход доказательства: | |
(1) ![]() | - гипотеза |
(2) p; | - гипотеза |
(3) q | – из (1), (2) по УИ1. |
Таким образом, ,
,
по определению вывода на основе (1)-(3).
ВК: | ![]() | ||
ВД1: | ![]() | ||
УД2: | ![]() | ||
УИ2: | ![]() | ||
УЭ1: | ![]() | ||
![]() | ![]() | ||
![]() | ![]() | ||
![]() | ![]() | ||
УК1: | ![]() | ||
ВД2: | ![]() | ||
ОД: | ![]() | ||
ОИ: | ![]() | ||
УЭ2: | ![]() | ||
![]() | ![]() | ||
![]() | ![]() | ||
![]() | ![]() | ||
УК2: | ![]() | ||
УД1: | ![]() | ||
УИ1: | ![]() | ||
ВЭ: | ![]() | ||
ВО: | ![]() | ||
ОК: | ![]() | ||
УО: | ![]() |
Правила вывода второго рода:
ПД: ![]() | |
СА: ![]() | |
ДОП: ![]() | |
100.