retagged by
500 views
6 votes
6 votes

Consider the statement $\text{S} :$ "For all natural numbers $n,$ if $n$ is prime, then $n$ is antisocial."
You do not need to know what antisocial means for this problem, just that it is a property that some numbers have and others do not.
Assume that we know that natural number $10$ is not a prime number$, \&$ that natural number $7$ is a prime number.

Which of the following statements can be inferred from the statement $\mathrm{S}?$

  1. $10$ is antisocial.
  2. $10$ is not antisocial.
  3. $7$ is antisocial.
  4. $7$ is not antisocial.
retagged by

3 Answers

4 votes
4 votes
Domain: Set of natural numbers.

Let,

  P(n): n is prime
  A(n): n is antisocial

Then,

If n is prime, then n in antisocial $ \equiv \forall_n(P(n) \to A(n))$

Now considering n = 10, and we know $P(10) \equiv False$

  $P(10) \to A(10)$                   $ \because $ Universal Instanstiation.
  $\neg{A(10)} \to \neg{P(10)}$            $\because A \to B \equiv \neg{B} \to \neg{A}$
  $\neg{P(10)}$
$--------$
Cannot infer anything

Now considering n = 7, and we know $P(7) \equiv True$

  $P(7) \to A(7)$                        $ \because $ Universal Instanstiation.
  P(7)
$--------$
$\therefore A(7)$

$\therefore$ Correct option is C. 7 is antisocial
0 votes
0 votes
According to the question : If n is prime then n is antisocial.

prime -> antisocial

a. 10 is not prime. (Not Correct)

b. prime -> antisocial means ~antisocial-> ~prime   So we cant say 10 is antisocial

c. if 7 is prime then 7 is antisocial it straight forword option which is correct.

d. Same logic of option b.

 

Only C is correct.

#Jai_Hind
Answer:

Related questions

633
views
2 answers
7 votes
GO Classes asked Apr 14, 2022
633 views
Consider the following predicates.$\text{Rabbit}(x) = x$ is a rabbit.$\text{Cute}(x) = x$ is cute.Consider the following statement $\text{E},$ where the domain of every v...
496
views
3 answers
5 votes
GO Classes asked Apr 18, 2023
496 views
For a given predicate $\mathrm{P}(\mathrm{x}),$ you might believe that the statements $\forall \mathrm{xP}(\mathrm{x})$ or $\exists \mathrm{xP}(\mathrm{x})$ are either tr...
710
views
2 answers
10 votes
GO Classes asked Apr 14, 2022
710 views
Which of the following is the negation of “there is a successful person who is grateful”?There is a successful person who is ungrateful.Every grateful person is unsuc...
329
views
2 answers
7 votes
GO Classes asked Apr 18, 2023
329 views
Suppose $P(x, y)$ is some binary predicate defined on a very small domain of discourse: just the integers $1,2,3$, and $4.$ For each of the $16$ pairs of these numbers, $...