練習として、ブクマコメントにあった「人は死ぬ。神は死なない。故に人は神ではない。」の証明。 P・・・人 Q・・・神 R・・・死ぬ とすると、この命題は ( (P⊃R)∧(Q⊃¬R) )⊃(P⊃¬Q) と表せる。 記号は ⊃・・・ならば ¬・・・ではない ∧・・・かつ と読む。 と…