スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

ふむふむふむ

ぬおぉ~。レポート提出期限が迫っておる。焦り(汗)。

論理学はA群だから、10月に是非とも受けたい。でないと、この論理学のためだけに他のA群科目が後へ後へと流れてしまいます。

真理関数は、定理として与えることが実際にはできなくても、真理値分析を使ってトートロジーであると判定できた論理式を定理とすることができる。

量化理論は、妥当であると結論できる一般的な方法がないので、妥当だから定理だと言えても、妥当性は一般に決定できないので、それが定理であるかどうかも一般に決定できない。

でで、量化理論は、普遍汎化、存在例化、普遍例化、存在汎化、ほにゃほにゃほにゃ.....うがっ!うまく頭がまとまりません。

汗、汗、汗ーーー!
スポンサーサイト

COMMENTS

COMMENT FORM

TRACKBACK


この記事にトラックバックする(FC2ブログユーザー)

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。