質問: 真理関数(命題論理)では扱えず、量化理論で扱う事ができる推論の具体例(日常的な文)を挙げ、その理由を真理表によって表せという課題で右往左往しています。
回答: 例えば、∀xFx / Fa という全称例化の推論は、量化理論では問題なく扱えますが、命題論理では無理です。なぜなら、命題論理では文の内部構造に踏み込まないので、この推論は命題論理の範囲内で取り扱おうとすると、P / Q という感じになってしまうからです。この場合、P, Qの間には何の関連性もないので、Pに真を、Qに偽を割り当てれば簡単に反例が作れます。