Font Size:
On The Some Set Theoretical Properties of Logical Consequence
Last modified: 2014-02-04
Abstract
The logical consequence undisputedly is the central concept of logic. The main purpose of logic is to tell us what follows logically from what. Logical consequence is a relation between a given set of formulas and the formulas that logically follow. In this work, we inspect set theoritical properties of the logical consequence related to denumerable sets and independet sets formulas of classical logic. We show that that intersections of independent sets are independent but union of two independent sets is not in general independent.
Keywords
Independence, Logical Equivalance, Logical Consequence, Classical First-Order Logic