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