Logo
Pattern

Discover published sets by community

Explore tens of thousands of sets crafted by our community.

Logic Propositions and Proofs

20

Flashcards

0/20

Still learning
StarStarStarStar

If pqp \rightarrow q and pp, then ____?

StarStarStarStar

qq (Modus Ponens)

StarStarStarStar

If pqp \rightarrow q and ¬q\neg q, then ____?

StarStarStarStar

¬p\neg p (Modus Tollens)

StarStarStarStar

If pqp \rightarrow q and qrq \rightarrow r, then p \rightarrow ____?

StarStarStarStar

rr (Hypothetical Syllogism)

StarStarStarStar

If pqp \lor q and ¬p\neg p, then ____?

StarStarStarStar

qq (Disjunctive Syllogism)

StarStarStarStar

If pp and qq, then p \land ____?

StarStarStarStar

qq (Conjunction)

StarStarStarStar

If ¬¬p\neg \neg p, then ____?

StarStarStarStar

pp (Double Negation)

StarStarStarStar

¬(pq)\neg (p \land q) is equivalent to ____?

StarStarStarStar

¬p¬q\neg p \lor \neg q (De Morgan's Law)

StarStarStarStar

If pqp \rightarrow q and prp \land r, then q \land ____?

StarStarStarStar

rr (Simplification and Modus Ponens)

StarStarStarStar

If p(pq)p \land (p \rightarrow q), then ____?

StarStarStarStar

qq (Modus Ponens)

StarStarStarStar

If p(qr)p \land (q \land r) then (p \land q) \land ____?

StarStarStarStar

rr (Associativity of Conjunction)

StarStarStarStar

If pqp \rightarrow q and qpq \rightarrow p, then ____?

StarStarStarStar

pqp \leftrightarrow q (Material Equivalence)

StarStarStarStar

If pp if and only if qq, and qq if and only if rr, then pp if and only if ____?

StarStarStarStar

rr (Transitivity of Biconditional)

StarStarStarStar

If pqp \leftrightarrow q, and ¬p\neg p, then ____?

StarStarStarStar

¬q\neg q (Using the Biconditional)

StarStarStarStar

¬(pq)\neg (p \lor q) is equivalent to ____?

StarStarStarStar

¬p¬q\neg p \land \neg q (De Morgan's Law)

StarStarStarStar

If pqp \leftrightarrow q, then q \leftrightarrow ____?

StarStarStarStar

pp (Biconditional Commutativity)

StarStarStarStar

If pqp \lor q and ¬p\neg p, then qq and ____, by Disjunctive Syllogism?

StarStarStarStar

¬p\neg p (Restating the given)

StarStarStarStar

If ¬(pq)\neg(p \rightarrow q), then ____?

StarStarStarStar

p¬qp \land \neg q (Negation of Implication)

StarStarStarStar

If pqp \land q, then p \lor ____?

StarStarStarStar

qq (Addition)

StarStarStarStar

If (pq)r(p \lor q) \lor r then p \lor (q \lor ____)?

StarStarStarStar

rr (Associativity of Disjunction)

StarStarStarStar

If pqp \land q and ¬rs\neg r \land s, then ____?

StarStarStarStar

No direct inference about the relationship between p,qp, q and r,sr, s (Non sequitur)

Know
0
Still learning
Click to flip
Know
0
Logo

© Hypatia.Tech. 2024 All rights reserved.