COMPLETE EXAM REVIEW FOR D420 Discrete Math: Logic 2025 Western Governors University

COMPLETE EXAM REVIEW FOR D420 Discrete
Math: Logic 2025 Western Governors University




If p, q
q, if p


p only if q
p is sufficient for q

,Give this one a go later!



Equivalent English expressions
Expressions that mean "if q, then p"
that mean "if p, then q"




Statements that imply p and q are Expressions That mean "p is true
unrelated regardless of q"


Don't know?




2 of 110

Definition



consists of a collection of propositions that include a set of premises
called the hypotheses and a concluding one called the conclusion.
Symbolically, we use p1, p2, ... pn to represent the hypotheses and c for
the conclusion.



Give this one a go later!



evidence resolution




addition argument


Don't know?

, 3 of 110

Definition



Addition or multiplication by the complement will equal
either the multiplicative or additive identity value. Also, the
complement of 1 is zero, and the complement of 0 is one.




Give this one a go later!



Domination laws (Boolean algebra) Commutative laws (Boolean algebra)




Complement laws (Boolean
Idempotent laws (Boolean algebra)
algebra)


Don't know?




4 of 110

Definition



Given p OR q ;
Given NOT p OR r;
Then q OR r can be inferred




Give this one a go later!

, Conjunction Resolution




None Of These Addition


Don't know?




5 of 110

Term



three basic gates which correspond to Boolean operations:



Give this one a go later!



Is the logical equivalent of "NOT OR,"




AND, OR, inverter.




Rule of Inference:
c is an element (arbitrary or particular)
P(c)
∴ ∃x P(x)


Explanation:
There is an element c such that P(c).
Therefore, there exists an x such that P(x).