logic - Fitch システムによる論理演繹

Question

いくつかのロジックを調べていたところ、解決できない問題が見つかりました。

前提 p=>q から、¬q=>¬p であることをどのように証明できますか?

ありがとうございました

Answer 1

冗長なステップを削除して微調整します。

フィッチ システムの使用:

1. p=>q............前提
2. | | ¬q..........仮定
3. |.| p........仮定
4. |.| ¬q............繰り返し: 2
5. | | p=>¬q.....................含意 はじめに: 4
6. | | ¬p..............否定導入: 1,5
7. ¬q=>¬p........含意 はじめに: 6