generated at
2/12/2025, 5:09:58 PM
整論理式
WFF
:
well-formed formula
原子論理式
（
atomic formula
）
論理式
（
formula
）