整論理式
WFF
:
well-formed formula
原子論理式
（
atomic formula
）
論理式
（
formula
）