✨ 最佳解答 ✨
これでOKです。特に何か書く必要もなく、自明とします。
P⇔P∨P
を"証明"するには、
∨の導入則と∨の除去則を使います。
Pのとき∨導入則でP∨P
PVPのときPからはPが導かれ、PからはPが導かれるので、どちらの場合からもPが導かれる(∨の除去則)
限られた推論規則のみを使って、より複雑な命題を証明するパズルみないなやつです。自明に思える命題であっても、意外と示すのに苦労することがあったり、使える規則を少なくすると示せない命題があったり、楽しい分野なのですが哲学的で役に立つものではないです。
検索するといろいろpdfが落ちているので眺めてみるのもいいと思います。
http://www.ne.jp/asahi/search-center/internationalrelation/mathWeb/meidai/syntaxPrpsNKOr.htm
ご回答下さりありがとうございますm(__)m
教えていただいたURL等を参考に
色々調べて見ようと思います!