Week 4 Problems

T1

利用真值指派討論證明形如\(Q\rightarrow(R\rightarrow Q)\)的命題邏輯合式公式是永真式

T2

證明公式集合\(\Gamma\)不可滿足當且僅當\(\Gamma \models 0\)

T3

設\(\Gamma_1, \Gamma_2\)是公式集合，\(B\)是公式。\(\Gamma_2 \models B\)，對於\(\Gamma_2\)中每個公式\(A\)，都有\(\Gamma_1 \models A\)。

證明\(\Gamma_1 \models B\)