|
Нужно построить граф дедуктивного вывода: из А-->B вывести AvC-->BvC, подскажите, какие использовать законы? задан 17 Дек '12 15:37 
tisa57 |
|
Если следовать аксиоматике Лаврова-Максимовой, то $%1.\quad B\rightarrow B\vee C\quad$% аксиома 6 $%2.\quad (B\rightarrow B\vee C)\rightarrow (A\rightarrow (B\rightarrow B\vee C))\quad$% аксиома 1 $%3.\quad A\rightarrow (B\rightarrow B\vee C)\quad$% из 1 и 2 по Modus ponens $%4.\quad (A\rightarrow B)\rightarrow ((A\rightarrow (B\rightarrow B\vee C))\rightarrow (A\rightarrow B\vee C))\quad$% аксиома 2 $%5. \quad A\rightarrow B\quad$% исходная формула $%6.\quad (A\rightarrow (B\rightarrow B\vee C))\rightarrow (A\rightarrow B\vee C)\quad$% из 4 и 5 по Modus ponens $%7.\quad A\rightarrow B\vee C\quad$% из 3 и 6 по Modus ponens $%8. \quad C\rightarrow B\vee C\quad$% аксиома 7 $%9.\quad (A\rightarrow B\vee C)\rightarrow ((C\rightarrow B\vee C)\rightarrow (A\vee C\rightarrow B\vee C))\quad$% аксиома 8 $%10.\quad (C\rightarrow B\vee C)\rightarrow (A\vee C\rightarrow B\vee C)\quad$% из 9 и 7 по Modus ponens $%11.\quad A\vee C\rightarrow B\vee C\quad$% из 10 и 8 по Modus ponens По крайней мере, меня так учили отвечен 18 Дек '12 15:58 
varaksin это больше похоже на дерево доказательства, но спасибо и за него
(23 Дек '12 11:17)
tisa57
А кому дерево не граф?
(24 Дек '12 5:18)
varaksin
|