02 Jun Framing Formal Logic

Formal Logic Formal logic often uses set theory. Set theory uses existential (an assertion that something applies to some members of a set) and universal (a statement that applies to all members in a set) quantifiers. Despite the utility and noncommittal correctness of existential quantifiers, set operations using existential quantifiers are weaker then those using universal quantifiers. The […]