MATH145 Lecture 5: MATH 145 Lecture 5
1 Dec 2016
School
Department
Course
Professor
Document Summary
Given a formula f and an assignment , (that is give the values of (p ), (q), (r), . (f ) by making a derivation f1, f2, f3, . , fl for f then calculate the values (f1), (f2), . one at a time. Let f be the formula f = ( (p r) (q r)) and let be an assignment then with. We make a derivation f1, f2, f3, . , fl for f and calculate the values (fk ) P q r p r (p r) r q r f. , pn, an assignment on (p1, p2, . For a formula f which only involves the variable symbols in {p1, p2, . , pn}, a truth table for f on (p1, p2, . , pn) is a table whose top header row is a derivation f1, f2, f3, .
