Created by Jesse Rappaport
In Polish notation, or prefix notation, all operators are prefixed to their operands. Scope does not depend on parentheses.
For example, 'p and q' would be represented as 'Kpq,' where 'K' stands for 'Konjunction.'
Negation | N |
Konjunction | K |
Disjunction/Alernation | A |
Conditional | C |
Biconditional | B |
Necessity | M |
Possibility | L |
p or not p | ApNp |
Not (p and not p) | NKpNp |
If (p and (p implies q)) then q | CKpCpqq |
If ((p or q) and (not p)) then q | CKApqNpq |
If (nec (p and q)) then ((nec p) and (nec q)) | CMKpqKMpMq |
((nec p) or (nec q)) implies (nec (p or q)) | CAMpMqMApq |
If (poss (nec p)) then (nec p) | CLMpMp |