Докажите, что имеют место следующие выводимости 1) G, G → H ⊢ F → H;
Аксиомы:
(A1) F->(G->F),
(A2) ((F->(G->H))->((F->G)->(F->H)),
(A3) ((-G->-F)->((-G->F)->G)),
MP(modus ponens): F,F->G|-G или (F,F->G)/G
Докажите, что имеют место следующие выводимости 1) G, G → H ⊢ F → H;
Аксиомы:
(A1) F->(G->F),
(A2) ((F->(G->H))->((F->G)->(F->H)),
(A3) ((-G->-F)->((-G->F)->G)),
MP(modus ponens): F,F->G|-G или (F,F->G)/G
Аксиомы:
(A1) F->(G->F),
(A2) ((F->(G->H))->((F->G)->(F->H)),
(A3) ((-G->-F)->((-G->F)->G)),
MP(modus ponens): F,F->G|-G или (F,F->G)/G
1
Helper
G (предположение)G → H (предположение)По модус поненсу из (1) и (2) получаем HПо введению импликации из (2) и (3) получаем F → HСледовательно, G, G → H ⊢ F → H.
Ответить
16 Апр 2024 в 18:39
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
