証明を書けるようにする
証明を書けるようにする(write proof)
仮定と結論がある
$ P_1, P_2,..., P_n \vdash Q :
$ \Gamma, P_1, P_2,..., P_n \vdash Q :
$ \Gamma : 暗黙の前提
table:記号
記号 意味
∴ ゆえに、よって、therefore
∵ なぜならば
table:略語
略語 正式名称 意味
e.g. exempli gratia (ラテン語) たとえば, for example
i.e. id est (ラテン語) すなわち
et al. et alia (ラテン語) その他の人, and others
Q.E.D. quod erat demonstrandum (ラテン語) 証明終わり
s.t. such that ~ ~が成立する
確認用
Q. 証明を書けるようにするには
参考
調査用
/pogi-log/Wikipedia.icon
/pogi-log/Wikipedia.icon