A Conversation for Propositional Logic
Modal 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
Modal Logic
More Conversations for Propositional Logic
Write an Entry
"The Hitchhiker's Guide to the Galaxy is a wholly remarkable book. It has been compiled and recompiled many times and under many different editorships. It contains contributions from countless numbers of travellers and researchers."