quiz2 / module 2

Question 1

logic

Answer 1

study of formal reasoning

Question 2

proposition

Answer 2

any statement that is either true or false

Question 3

propositional values

Answer 3

variables representing propositions

Question 4

compound proposition

Answer 4

connecting propositions with logical operations;

Question 5

logical operations

Answer 5

combines propositions with a rule

Question 6

disjunction

Answer 6

or

Question 7

conjuction

Answer 7

and

Question 8

conditional operation

Answer 8

->; if p, then q; false if p is true and q is false

Question 9

in p -> q…

Answer 9

p is the hypothesis and q is the conclusion

Question 10

contrapositive

Answer 10

if notq, then notp

Question 11

inverse

Answer 11

if notp, then notq

Question 12

converse

Answer 12

if q, then p

Question 13

biconditional operation

Answer 13

<->; p if and only if q; p iff q; only T if both are T or both are F

Question 14

tautology

Answer 14

a compound proposition that is always true, regardless of individual propositions

Question 15

contradiction

Answer 15

a compound proposition that is always false regardless of individual propositions

Question 16

compund propositions are logically equivalent when

Answer 16

they have the same truth value; disregard individual/composing propositions

Question 17

De Morgan’s laws

Answer 17

not (p or q) = not p and not q; not (p and q) = notp or not q

Question 18

idempotent

Answer 18

p and p means p; p or p means p

Question 19

associative

Answer 19

(p or q) or r = p or (q or r); p and (q and r) = (p and q) and r

Question 20

commutative

Answer 20

p and/or q = q and/or p

Question 21

distributive

Answer 21

p and (q or r) = (p or q) and (p and r)

Question 22

identity

Answer 22

p or False = p; p and True = p

Question 23

domination

Answer 23

p and False = False; p or True = True

Question 24

double negation

Answer 24

not(not p) = p

Question 25

complement laws

Answer 25

p and notp = F; p or notp = T

Question 26

absorption

Answer 26

p or (p and q) = p; p and (p or q) = p

Question 27

conditional identities

Answer 27

if p then q = (not p) or is q; p iff q = (if p then q) and (if q then p)