recategorized by
3,641 views
1 votes
1 votes

Which of the following statements  is true?

  1. The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2} \wedge \dots \wedge S_{n}\rightarrow S$ is satisfiable.
  2. The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2}\wedge \dots \wedge S_{n}\rightarrow S$ is valid.
  3. The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2}\wedge \dots \wedge S_{n}\neg S$ is consistent.
  4. The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2}\wedge \dots \wedge S_{n}\wedge S$ is inconsistent.
recategorized by

1 Answer

0 votes
0 votes
Ans:- option B

$S_1, S_2,\ldots ,S_n$  can be considered as premises and S is conclusion.  Argument $premises\implies conclusion$  is said to be valid(TRUR) if $S_1,S_2,S_3,\ldots,S_n \rightarrow S$  is valid. (False $\rightarrow $ or  True $\rightarrow $ True.)
Answer:

Related questions

1 votes
1 votes
3 answers
2
go_editor asked Mar 24, 2020
1,205 views
Which of the following is an interrupt according to temporal relationship with system clock?Maskable interruptPeriodic interruptDivision by zeroSynchronous interrupt
4 votes
4 votes
5 answers
3
go_editor asked Mar 24, 2020
1,675 views
Which of the following is incorrect for virtual memory?Large programs can be writtenMore I/O is requiredMore addressable memory availableFaster and easy swapping of proce...