うお～、なかっぺさんと自分は同じポジションです。
自分の講評も「真理表と恒真の説明はこれで十分」でした。
残りの「恒真という概念の有用性」については、より有効な例を提示すべく
書き直しましたが、自分は最初から書いたので１０ページをかなり超えてしまいました。
（って結局、別レポ書く前に写経してる奴。）
そうそう、自分の場合は総合のテキストで「妥当」という言葉がひっかかりました。
述語論理になるとかなり細かくて複雑になりますが、まず命題論理における恒真
を理解することが基本ですよね。
ジュウイチさんは、学生時代に論理学を学ばれたのですか？
的確なお話にいつも敬服しております。