>>132
論理式というからには、∧、∨、¬、∀、∃　や　⇒　は使っても良いのかね？