PHL246H1 Lecture Notes - Lecture 6: Logical Consequence, Consistency
Document Summary
B2 = {ea}. (cid:73) b2 is not empty (and disjoint from b1), {h} b1 logically implies all elements of b2, but b1 alone does not. And its shortcomings (cid:73) pc is at best suf cient, but not necessary for con rmation, because it applies only under very special circumstances. H: if a person is loved by everyone then that person is married to someone, x ( ylyx zmxz) However, h and some data b1 only logically imply other data b2, if b1 were universal and say of some person x that everyone loves x, ylyx. And its shortcomings (cid:73) pc is at best suf cient, but not necessary for con rmation, because it applies only under very special circumstances. (cid:73) (pc is circular . H: if a person is loved by everyone then that person is married to someone, x ( ylyx zmxz) (cid:73) pc says that h and some data b1 jointly have to logically imply other data b2.
