0074132人目の素数さん垢版 | 大砲2023/11/08(水) 21:10:46.84ID:WuYbTwPb p, q の真偽のパターンは4通りあるが、その4通りすべてで、p => q と ¬q => ¬p の真偽が一致することを見ればよい。 p => q の真偽は p\q | T | F T | T | F F | T | T ¬q ⇒ ¬p の真偽は p\q | T | F T | T | F F | T | T よって、 p => q と ¬q => ¬p の真偽は等しい。