Search This Blog

Wednesday 22 July 2015

Symbols used in Logic




LogicSymbolsExpressions Symbolized
Modal LogicIt is necessary that ..
It is possible that …
Deontic LogicOIt is obligatory that …
PIt is permitted that …
FIt is forbidden that …
Temporal LogicGIt will always be the case that …
FIt will be the case that …
HIt has always been the case that …
PIt was the case that …
Doxastic Logic Bxx believes that …

No comments:

Post a Comment