18/01/08 09:10:28.32 7TckpdpV.net
>>510
＞（Ｐ⊃Ｑ）⊃（～Ｑ⊃～Ｐ）の場合
￢（∀ｘ．（￢Ｐ（ｘ）⋁Ｑ（ｘ）））⋁（∀ｘ．（Ｑ（ｘ）⋁￢Ｐ（ｘ）））
Ｐ⋁Ｑ⇔Ｑ⋁Ｐ と 排中律から証明可能
18/01/08 09:10:28.32 7TckpdpV.net
>>510
＞（Ｐ⊃Ｑ）⊃（～Ｑ⊃～Ｐ）の場合
￢（∀ｘ．（￢Ｐ（ｘ）⋁Ｑ（ｘ）））⋁（∀ｘ．（Ｑ（ｘ）⋁￢Ｐ（ｘ）））
Ｐ⋁Ｑ⇔Ｑ⋁Ｐ と 排中律から証明可能
18/01/08 09:10:28.32 7TckpdpV.net
>>510
＞（Ｐ⊃Ｑ）⊃（～Ｑ⊃～Ｐ）の場合
￢（∀ｘ．（￢Ｐ（ｘ）⋁Ｑ（ｘ）））⋁（∀ｘ．（Ｑ（ｘ）⋁￢Ｐ（ｘ）））
Ｐ⋁Ｑ⇔Ｑ⋁Ｐ と 排中律から証明可能