4.1

A proposition presents the existence and nonexistence of atomic facts.

264