ch 5 and 6 Flashcards
Logic:
an argument of premises assumed to be true, one or more conclusion
propositional logic
if conclusions follow premise, it is valid
truth tables:
enumeration of all possible values, showing in all cases where premise is true
fuzzy logic
degree to which something isn’t entirely accurate
modal logics address
ought or should issues
converse of implication
obtained by reversing the roles of the premise and conclusion
inverse of implication
obtained by negating the premise and the conclusion
contrapositive of implication
if the assumed premise leads to the conclusion, then the not premise is the not conclusion
stmts that are always true or false under identical circumstance
tautologies/theorems
contradiction
if a partial premise is true, then the conclusion most likely is
satisfiability problem
is there some value that fulfills all stmts
resolution proof
assumes premise is true and conclusion is false, if contradicted, proof is valid
forward chaining
continue until contradiction is made or resolutions are exhausted
backwards chaining
examining related things only, supporting or refuting
predicate logic
allows changes to be made to stmts to fulfill argument