Work F

Information = Comprehension × Extension

Figure 1. Conjunctive Term z, Taken as Predicate

Figure 2. Disjunctive Term u, Taken as Subject

Figure 3. Conjunctive Predicate z, Abduction of Case x ⇒ y

Figure 4. Disjunctive Subject u, Induction of Rule v ⇒ w