EA siay!uen = Kenb 台←L∧Vs3N1P3uu0) :…q‘D‘f‘x s31qeueΛ ··‘fO63If3T?bS suonoun ……‘<a叫0la saneoipald …‘aOn‘z‘uyor6uy squeisuo) squowal日pIs肥q:IOdJ0XeuS ts elemen Basic OL: F of tax Syn . . . , BCU, 2 ohn, J ing K Constants . . . >, , other r B Predicates . . . , f O tLeg Lef t, rq S unctions F . . . b, a, , y x, riables aV ⇔ ⇒ ¬ ∨ ∧ Connectives = y Equalit ∃ ∀ Quantifiers 6 8 Chapter