Discrete test 1 study Flashcards
conjunction of p and q
p ^ q p and q
true when both p and q are true
disjunction of p and q
p v q, p or q
true when at least p or q is true
exclusive or of p and q
true when p and q are different signals
if p then q
p -> q,
true in all cases except true implies false.
bi-conditional statement of p and q
pq, p if and only if q.
true when p and q have the same value. true or false
Converse of p -> q
q -> p
contrapositive of p -> q
~q -> ~p
inverse of p -> q
~p -> ~q
the converse is equivalent to
the inverse
the original is equivalent to the
contrapositive
how to tell if something is logically equivalent in 2 ways
use truth tables and match columns or use the table of logical equivalences to get to what you need
tautology
all is true
contradiciton
all is false
contingancy
neither always true nor always false
Axpx
for all x in px
Expx
there exists an x that satisfies px
E!xpx
there exists exactly one x that satisfys p(x)
how to negate A and E
flip them and move it in
even
The integer n is even if there exists an integer k such that n = 2k.
odd
The integer n is odd if there exists an integer k such that n = 2k +1.
rational number
A rational number p has the form 𝑎
𝑏
, where a and b are
integers and b ≠0.
Direct proof
To prove 𝑝 → 𝑞 using a direct proof, you assume
that p is true and show that q must also be true
Indirect proof
(proof by contraposition). To prove 𝑝 → 𝑞 using an
indirect proof, you prove ¬𝑞 → ¬𝑝 (the contrapositive) directly.
Proof by contradiction
To prove that a proposition p is true, we
assume that it is false and attain a logical contradiction, such as
𝑟 ⋀ ¬𝑟. Then it must be the case that p was true