“For every a, if a is a philosopher, then a is a scholar”
A. ∀ a philosopher(A.  scholar(a)
B. ∃ a philosopher(a)  scholar(a)
C. A) is true, B) is true
D. A) is false, B) is false
Answer:A
“For every a, if a is a philosopher, then a is a scholar”
A. ∀ a philosopher(A.  scholar(a) B. ∃ a philosopher(a)  scholar(a) C. A) is true, B) is true D. A) is false, B) is false
Explanation: None. 5. A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.