17/12/26 07:35:18.53 RINCUC+5.net
ごめん！ 入力ミスをしていた。
∀p,q{∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)]
は、正しくは
∀p,q{∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)] ｝
17/12/26 07:35:18.53 RINCUC+5.net
ごめん！ 入力ミスをしていた。
∀p,q{∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)]
は、正しくは
∀p,q{∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)] ｝
17/12/26 07:35:18.53 RINCUC+5.net
ごめん！ 入力ミスをしていた。
∀p,q{∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)]
は、正しくは
∀p,q{∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)] ｝