A Conversation for Propositional Logic
michendo Started conversation Apr 28, 2005
The fun doesnt really start until you get into Modal Logic.
Propositional logic, as explain is simple boolean logic. If...then and includes the operators OR and AND.
Predicate logic is as propositional logic, but also includes quantifyers namely, ALL and EXISTS.
It can deal with such expressions as
All men are mortal
Socrates is a man
Therefore, socrates is a mortal
Modal logic is an extention of propositional logic, though it can also exten predicate logic. It deals with possibilites. It includes expressions such as Necessarily, possibly and also deals with the counterfactual expressions mentioned in the propositional logic argument such as "If I was born in Russia I would be a communist"
Key: Complain about this post