edited by
8,707 views
33 votes
33 votes

Consider the following two statements.

  • $S_1$: If a candidate is known to be corrupt, then he will not be elected
  • $S_2$: If a candidate is kind, he will be elected

Which one of the following statements follows from $S_1$ and $S_2$ as per sound inference rules of logic?

  1. If a person is known to be corrupt, he is kind
  2. If a person is not known to be corrupt, he is not kind
  3. If a person is kind, he is not known to be corrupt
  4. If a person is not kind, he is not known to be corrupt
edited by

6 Answers

Best answer
37 votes
37 votes

$\begin{align*} S_1 &= C \rightarrow \neg E\\ S_2 &= K \rightarrow E\\ \end{align*}$

so, writing them using primary operators :
$\begin{align*} S_1 &= \neg C \vee \neg E\\ S_2 &= \neg K \vee E\\ \end{align*}$

on using resolution principle
$\neg E$ and $E$ cancels each other out
and conclusion = $\neg C \vee \neg K$

which can also be written as $K \rightarrow \neg C$ which is translated into English as = option C

edited by
68 votes
68 votes

Option c. If a person is kind, he is not known to be corrupt

Let

  • $C(x): x \text{ is known to be corrupt}$
  • $K(x): x \text{ is kind}$
  • $E(x): x \text{ will be elected}$

 

  • $S1: C(x) \to \neg E(x)$
  • $S2: K(x) \to E(x)$

S1 can be written as $E(x) \to \neg C(x)$ as $A \to B = \neg B \to \neg A$.
Thus, from S1 and S2,

$K(x) \to E(x) \to \neg C(x)$.

Thus we get C option.

edited by
10 votes
10 votes

Method for these kinds of question.

Use inference law : Here we use

Contrapositive law i.e. A $\rightarrow$ B is true then ~B $\rightarrow$ ~A is always true.

For  A $\leftrightarrow$ B is true the contrapositive true. converse(B$\leftrightarrow$ A) true and Inverse(~A$\leftrightarrow$~B)  also true.

edited by
5 votes
5 votes

Let ,

        K: Person is kind

        C: Person is corrupt

        E: Person is elect

Here both statements 1,2 are premises and we need to check what is the conclusion.

S1: C-->¬E

S2: K-->E

3.  E-->¬C  from S1, and Contrapositive rule.

4. K-->¬C  from S2,3 and Hypothetical syllogism.It is valid.

K-->¬C ≡ " If a person is kind, he is not known to be corrupt ".

So, (c) is the Ans.

Answer:

Related questions

88 votes
88 votes
5 answers
2
32 votes
32 votes
4 answers
3
go_editor asked Feb 12, 2015
6,712 views
Consider a function $f(x) = 1- |x| \text{ on } -1 \leq x \leq 1$. The value of $x$ at which the function attains a maximum, and the maximum value of the function are:$0, ...