Substitutivity of Equivalence Let A,M and N be wffs and let AMN be the result of replacing M by N at zero or more occurrences (henceforth called designate occurrences) of M in A. 1. AMN is a wff. 2. If |= M ≡ N then |= A ≡ AMN
G e n o m i c s a n d M o l e c u l a r I m a g i n g Fundamental Technology Hurdles Platform Concepts Disease Targets Industry and Academic Partnerships