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).
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).
