. ▁Sub sequently , ▁Richard ▁Mont ague ▁made ▁heavy ▁use ▁of ▁meaning ▁post ul ates ▁in ▁the ▁development ▁of ▁Mont ague ▁grammar , ▁and ▁they ▁have ▁features ▁prom in ently ▁in ▁formal ▁semantics ▁following ▁in ▁Mont ague ' s ▁foot steps . ▁ ▁Ex amples ▁ ▁Mean ing ▁Post ulate ▁is ▁a ▁formula ▁to ▁express ▁an ▁aspect ▁of ▁the ▁sense ▁of ▁a ▁predicate . ▁The ▁formula ▁is ▁expressed ▁with ▁- ▁so - called ▁- ▁connect ives . ▁The ▁used ▁connect ives ▁are : ▁▁▁ ▁par ap hr ase ▁ ≡ ▁" if ▁and ▁only ▁if " ▁▁▁ ▁ent ail ment ▁→ ▁" if " ▁▁▁ ▁binary ▁an ton omy ▁~ ▁" not " ▁ ▁Following ▁examples ▁will ▁simplify ▁this : ▁▁ 1 . ▁" If ▁and ▁only ▁if ▁X ▁is ▁a ▁man , ▁then ▁X ▁is ▁a ▁human ▁being ." ▁In ▁meaning ▁post ulate ▁this ▁would ▁look ▁like ▁this : ▁▁▁ ▁x ▁M AN ▁ ≡ ▁x ▁H U MAN ▁BE ING ▁▁ 2 . ▁" If ▁X ▁is ▁a ▁girl , ▁then ▁X ▁is ▁female ." ▁In ▁meaning ▁post ulate ▁this ▁would ▁look ▁like ▁this : ▁▁▁ ▁x ▁G I RL ▁→ ▁x ▁F EMA LE ▁▁ 3 . ▁" X ▁is ▁not ▁aw ake , ▁therefore ▁X ▁is ▁as leep ." ▁In ▁meaning ▁post ulate ▁this ▁would ▁look ▁like ▁this : ▁▁▁ ▁x ▁AS LE EP ▁→ ▁~ x ▁A WA KE ▁ ▁See ▁also ▁ ▁List ▁of ▁logic ▁symbols ▁ ▁References ▁ ▁Category : Sem antics <0x0A> </s> ▁R ings