The Gateway to Computer Science Excellence
+1 vote
339 views

If the proposition ‘Houses are not bricks’ is taken to be False then which of the following propositions can be True?

  1. All houses are bricks
  2. No house is brick
  3. Some houses are bricks
  4. Some houses are not bricks

Select the correct answer from the options given below:

  1. b and c
  2. a and d
  3. b only
  4. c only
in Verbal Ability by
edited by | 339 views

1 Answer

+1 vote

Let $x$ : An object

      $h(x)$: $x$ is a house  and

      $b(x)$: $x$ is a brick

Houses are not bricks $\equiv$ For all $x$ , if $x$ is a house then it is not a brick  $\equiv \forall x( h(x) \rightarrow \sim b(x)) \equiv \forall x (\sim h(x)\ \vee \sim b(x))$

This above proposition is considered false so will negate it.

$\sim( \forall x (\sim h(x)\ \vee \sim b(x))) \equiv \exists x ( h(x)\ \wedge b(x)) $

  1. All houses are bricks $\equiv$ For all $x$ , if $x$ is a house then it is also a brick $\equiv \forall x ( h(x) \rightarrow b(x)) \equiv \forall x (\sim h(x)\ \vee b(x))$
  2. No house is a brick $\equiv$ There does not exist an $x$ such that  $x$ is a house and it is a brick $\equiv \sim \exists x ( h(x) \wedge b(x)) \equiv \forall x (\sim h(x)\  \vee  \sim b(x) )$
  3. Some houses are bricks$\equiv$ There exists some $x$ such that $x$ is a house and it is a brick $\equiv \exists x(h(x) \wedge  b(x))$
  4. Some houses are not bricks$\equiv$ There exists some $x$ such that $x$ is a house and it is not a brick $\equiv \exists x(h(x) \wedge \sim b(x))$

$\therefore$ Option $D.$ is the correct answer.

by
0
Some houses are bricks is surely true  but All houses are bricks may be true or false
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
52,345 questions
60,487 answers
201,817 comments
95,291 users