The Gateway to Computer Science Excellence
+2 votes

In propositional logic, if $(P→Q)\wedge (R→S)$ and $(P\vee R)$ are two premises such that $Y$ is the premise:

$\begin{array}{c}( P \rightarrow Q) \wedge ( R \rightarrow S) \\ P \vee R \\ \hline \\ Y \\ \hline \end{array}$

  1. $P\vee R$
  2. $P\vee S$
  3. $Q\vee R$
  4. $Q\vee S$
in CBSE/UGC NET by Active (3.8k points) | 2.3k views

Given that 



here if P then Q and if R then S  now P V R means either Q is true or S is true 

so Y will be Q V S so ans is 4)

plz explain a little.. i know propositions. but i could not understand what the question is saying.. what are the operators between



totally unclear question to me
Y is not premise it should be conclusion
Why $ Y can't \; be\;P\vee R$ ??(which is obvious implication from premises)
PVR is premise not conclusion e.g if p and p->q is given  what is the conclusion q  right

2 Answers

+3 votes
Best answer

Given that premises are



   (P→Q)   = ~PVQ

   (R→S)  = ~RVS


  Q V S

There will be Resolution (rule of inference ) between these premises to give conclusion  

~ P & P ,  R & R' will resolve out and then we  construct the disjunction of the remaining clauses

  to give SVQ option 4)

by Boss (49.3k points)
selected by
if $((P \rightarrow Q)\wedge(R\rightarrow S)) \wedge (P \vee R)\Rightarrow Y$

Then Y= (P v R) also satisfy it.

$\because$ the given formula is wrong only if LHS is true and rhs is false. Here if both premises true then LHS will be true so rhs should've to be true so (P or Q) is taken as Y for making rhs true.

Where i am doing wrong??
+1 vote

One can think like -

For P-->Q: If you work hard(P) then you will qualify NET(Q).

For R-->S: If you play game(R) then you will get gold(S).

Given premise is PVR : means if u work hard(P) OR(v) if you play game(R), then conclusion will be-

than You will qualify NET(Q) OR(v) you will get gold(S). Which is nothing but QVS.

Hence, Option D is correct.

by Active (2.1k points)

Related questions

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
50,741 questions
57,240 answers
104,600 users