13/12/26 01:52:21.57
>>422
「命題論理のどんな論理式も，
￢, ∧, ∨
の三つの論理記号だけで表現できる」
という事実があります。
（１）この事実の証明を何らかの教科書で勉強する。
（２）その証明をShoenfieldの表記法に直す。
で完了です。
13/12/26 01:52:21.57
>>422
「命題論理のどんな論理式も，
￢, ∧, ∨
の三つの論理記号だけで表現できる」
という事実があります。
（１）この事実の証明を何らかの教科書で勉強する。
（２）その証明をShoenfieldの表記法に直す。
で完了です。