Well-formed formula

転送先:

  • 論理式 (数学)