c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder%sig IPLPF = {
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include BasePF %open o ded.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include PL %open true false not imp and or.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include TruthPF %open trueI.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include FalsityPF %open falseE.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include NEGPF %open notI notE.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include IMPPF %open impI impE.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include CONJPF %open andI andEl andEr.
c6506aa7090643badb5a6dca5df0ca6617558f5eChristian Maeder %include DISJPF %open orIl orIr orE.