The Gateway to Computer Science Excellence
+1 vote

In propositional logic, given P and P $\rightarrow$ Q, we can infer ____

  1. $\sim$ Q
  2. Q
  3. P $\wedge$ Q
  4. $\sim$ P $\wedge$ Q
in Mathematical Logic by Veteran
recategorized ago | 1k views

4 Answers

+3 votes
Best answer

P -> Q  ans P infer to Q
 Using : Modus Ponens
B is answer

by Veteran
+2 votes
P  -> Q   = ~P  V Q

So we can infer Q

answer is B
by Boss
edited by
+1 vote
if P then Q

P is given so we can infer Q
by Boss
0 votes

Ans: B

  • Whenever E is a tautology, P1 AND P2 AND .. Pn -> E is a tautology.
  • Given two premises P1 and P2, we can infer P1 AND P2.
  • If P1 and (P1 -> P2) are given or inferred, then we can infer P2 by the rule of modus ponens (p AND (p->q) -> q).
  • If NOT P2 and (P1 -> P2) are given or inferred, then we can infer NOT P1 by the rule of modens tollens.
  • If P1 and (P1==P2) are given or inferred, we can infer P2.


by Loyal
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,218 questions
59,890 answers
118,128 users