Mønster som går igjen (tips)

Dersom det er ∀x(for alle x), brukes vanligvis implikasjon(→). Dersom det er ∃x(det finnes en x), brukes vanligvis og-tegnet (∧) Er nesten aldri omvendt, disse uttrykkene betyr ting vi nesten aldri ville brukt i naturlig språk. ∧ sammen med ∀x blir: alt er både det som kommer før og etter ∧. ∃x sammen med →, ville vært veldig unaturlig i naturlig språk og brukes så å si aldri.