Explore tens of thousands of sets crafted by our community.
Logic Propositions and Proofs
20
Flashcards
0/20
If and , then ____?
(Modus Ponens)
If and , then ____?
(Modus Tollens)
If and , then p \rightarrow ____?
(Hypothetical Syllogism)
If and , then ____?
(Disjunctive Syllogism)
If and , then p \land ____?
(Conjunction)
If , then ____?
(Double Negation)
is equivalent to ____?
(De Morgan's Law)
If and , then q \land ____?
(Simplification and Modus Ponens)
If , then ____?
(Modus Ponens)
If then (p \land q) \land ____?
(Associativity of Conjunction)
If and , then ____?
(Material Equivalence)
If if and only if , and if and only if , then if and only if ____?
(Transitivity of Biconditional)
If , and , then ____?
(Using the Biconditional)
is equivalent to ____?
(De Morgan's Law)
If , then q \leftrightarrow ____?
(Biconditional Commutativity)
If and , then and ____, by Disjunctive Syllogism?
(Restating the given)
If , then ____?
(Negation of Implication)
If , then p \lor ____?
(Addition)
If then p \lor (q \lor ____)?
(Associativity of Disjunction)
If and , then ____?
No direct inference about the relationship between and (Non sequitur)
© Hypatia.Tech. 2024 All rights reserved.