12/05/25 17:23:51.78 MSf+EY5m
任意の条件ｐ、ｑに対して
「ｐ⇒ｑ」⇔「￢ｐまたはｑ」 （￢は否定記号）
は認めて証明する。
（証明）
任意の集合Aに対し、
示すべき事柄 φ⊂A は次と同値。
φ⊂A
⇔「ｘ∈φ⇒ｘ∈A」
⇔「￢（ｘ∈φ）またはｘ∈A」
ここで￢（ｘ∈φ）は常に真なので
「￢（ｘ∈φ）またはｘ∈A」も真
よってφ⊂Aも真 □
12/05/25 17:23:51.78 MSf+EY5m
任意の条件ｐ、ｑに対して
「ｐ⇒ｑ」⇔「￢ｐまたはｑ」 （￢は否定記号）
は認めて証明する。
（証明）
任意の集合Aに対し、
示すべき事柄 φ⊂A は次と同値。
φ⊂A
⇔「ｘ∈φ⇒ｘ∈A」
⇔「￢（ｘ∈φ）またはｘ∈A」
ここで￢（ｘ∈φ）は常に真なので
「￢（ｘ∈φ）またはｘ∈A」も真
よってφ⊂Aも真 □