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

Axiom Schemata for F Axiom Schema 1 A ∨ A ⊃ A Axiom Schema 2 A ⊃ (B ∨ A) Axiom Schema 3 A ⊃ B ⊃ (C ∨ A ⊃ (B ∨ C)) Axiom Schema 4 ∀xA ⊃ Sxt A where t is a term free for the individual variable x in A Axiom Schema 5 ∀x(A ∨ B) ⊃ (A ∨ ∀xB) provided that x is not free in A

Interpretation An interpretation I of F is , where D is a non-empty set called the domain of individuals. I0 is a mapping defined on the constants of F satisfying 1. If c is an individual constant, then I0(c) ∈ D. 2. If f n is an n-ary function constant, then I0(f n) : Dn → D

Interpretation over a singleton Let I be , and σ ∈ ΣI. 1. I(A)(σ) = I(∀xA)(σ). 2. I(t)(σ) = a. 3. I(Sx1,···,xn t1,···,tn A)(σ) = I(A)(σ). 4. I0(P), σ(P) ∈ {I(n), Ψ(n)} for every n-ary predicate constant (variable), where

数字电路根据其工作特点和结构的不同可以分为两大类: 组合电路——不具备有记忆功能。 时序电路——具备有记忆功能

一､寄存器 寄存器常用于寄存一组二值代码,它被广泛 地用于各类数字系统和数字计算机。 从广义上说寄存器也是一种存储器，但是 它又不同于第九章介绍的半导体存储器。 寄存器的特点： 存数方便，但容量小，一般只能存放一个 或几个字，通常用来暂存运算的中间结果，而 且一旦掉电，存放的数据即丢失

一､计数器的概念 1. 什么叫计数?计数:统计脉冲的个数。 2. 什么叫计数器?计数器:实现计数功能的时序部件

用预置数法构成M的计数器时,通常采用置最小 数法,利用MSI计数器的进位输出端QCC作为预置控 制信号接置数端上

重点探究什么是遗传物质，遗传物质的性质、特征，以及遗传信息的传递。通过对经典实验的回顾，充分理解上述遗气学基础理论和框架。结合新的研究进展，领会遗传信息传递的规律和复杂性。本章要特别重视对经典实验的逻辑分析，加深对理论的理解。 第一节 遗传信息的载体 第二节 核酸的分子结构 第三节 基因 第二节 DNA的转录 第三节 蛋白质的生物合成

§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法