“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.