19/08/23 11:36:02.85 Zs0jDKxG.net
>>756の記号を使うと、②は
α：￢A
β：A -> B
の形をしていて、α が真なら β も常に真、したがって β があってもなくても変わらない
となってしまっているように見えますが、これも括弧の書き方のせいですかね。
19/08/23 11:36:02.85 Zs0jDKxG.net
>>756の記号を使うと、②は
α：￢A
β：A -> B
の形をしていて、α が真なら β も常に真、したがって β があってもなくても変わらない
となってしまっているように見えますが、これも括弧の書き方のせいですかね。