Created on March 1, 2013, 7:33 p.m. by Hevok & updated by Hevok on May 2, 2013, 5:35 p.m.
The most simplest kind of Logic is the Propositional Logic that consists simple of Facts
and nothing else, so Statements and Assertions.
Such Statements can be simple Implications. Also Sentences that do not make Sense can be expressed in Propositional Logic
If it rains, the road will get wet.
If Oliver is in love, then he will be happy.
The world consists out of Objects and Properties that distinguish one Object from another
One Problems with Propositional logic is that one can only make Statements and Assertions about single Objects. One can not summarize Objects into a Set, into a Class for Example and to make a Statement about a number of Things, i.e. Sets. This is shortcoming of Propositional Logic, but the World does not only consists out of single Objects (Individuals). The World also contains Classes, as defined in Conceptional Models like Ontologies. So one need to define Classes and this is not possible with Propositional Logic.
Comment on This Data Unit