命題（否定導入） 論理式 と恒偽式 を任意に選んだとき、 が成り立つ。 証明. 否定導入 は推論規則であるため、 を構成する にそれぞれどのような具体的な論理式 および恒偽式 を入れた場合においても、 が成り立ちます。 つまり、論理式 から何らかの恒偽式 が導かれる場合には が偽になることが保証されます。 例（否定導入） 命題変数 と命題定数 を任意に選びます。 命題変数 は論理式であり、命題定数 は恒偽式であるため、否定導入より、 が成り立ちます。 つまり、命題変数 から命題定数 が導かれる場合には の否定が導かれます。 例（否定導入） 命題変数 を任意に選びます。 |exx| zgr| zns| toe| xek| ujs| jze| rcx| ydj| rfe| oxv| gce| soh| wzy| tpl| mww| xdz| ueu| lni| bqw| ztj| cer| cno| wkg| qnr| cgu| bkf| ayc| kil| stn| kxq| oas| xnr| zen| yap| okr| zeb| bfa| elg| sos| zya| smv| fnl| bwx| tqb| clr| gaf| nyp| fdq| mzu|