(2)公式 变量是公式,如y 如y是变量F是公式,则λy.F也是公式 如F和G都是公式,则(FG)也是公式。（2）公式 • 变量是公式，如y。 • 如y是变量F是公式， 则λy.F也是公式。 • 如F和G都是公式， 则(FG)也是公式