Which of the following statements is true?
(1) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn→S is satisfiable.
(2) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn→S is valid.
(3) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn˄¬S is consistent.
(4) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn˄S is inconsistent.
(1) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn→S is satisfiable.
(2) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn→S is valid.
(3) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn˄¬S is consistent.
(4) The sentence S is a logical consequence of S1,..., Sn if and only if
S1˄S2˄........˄Sn˄S is inconsistent.