Propositional Logic

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

  • in propositional Logic the world consists simply of Facts and nothing else (Statements of Assertions)
  • Example for propositional Logic Assertions and Deductions:

  • If it rains, the road will get wet.

  • If the moon is made out of green choose, then cows can fly
  • If Oliver is in love, then he will be happy.

  • The world consists out of Objects and Properties that distinguish one Object from another

  • Between Objects are Relations. Some Relations are unique, i.e. functions.

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.

Computing.jpg

Tags: facts, reasoning, statments
Parent: Logic

Update entry (Admin) | See changes

Comment on This Data Unit