For example, we can determine that (P or Q) is a well-formed formula even without knowing whether it is true or false.
Наприклад, ми можемо визначити, що (P або Q) є добре правильно побудованою формула, навіть не знаючи, чи є воно істинним або хибним.