+1 vote
1k views

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

recategorized ago | 1k views

P -> Q  ans P infer to Q
Using : Modus Ponens

by Veteran
P  -> Q   = ~P  V Q

So we can infer Q

by Boss
edited by
+1 vote
if P then Q

P is given so we can infer Q
by Boss

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