1. Answer each problem below briefly. (4 points each)
Suffice it to write down the solutions； no computations are required.
申論題內容
(a) (4 points) Given the premises
What is the weakest condition for Q(a,b) to be true? That is, write down the weakest formula F(≠Q(a,b)) such that F → Q(a,b) is a logical consequence of the premises.
阿摩線上測驗
登入
