Index - F
| F | PropLogicCore, PropLogic |
| false | PropLogicCore, PropLogic |
| falsifies | DefaultPropLogic, PropLogic |
| filter | Costack |
| findTextFrameError | TextDisplay |
| foldr | Costack |
| formAntijoinForm | FastPropLogic, PropLogic |
| formAntijoinLine | FastPropLogic, PropLogic |
| formCojoinForm | FastPropLogic, PropLogic |
| formCojoinLine | FastPropLogic, PropLogic |
| formCovForm | FastPropLogic, PropLogic |
| formIndices | FastPropLogic, PropLogic |
| formJoinForm | FastPropLogic, PropLogic |
| formLength | FastPropLogic, PropLogic |
| formListJoin | FastPropLogic, PropLogic |
| formListMeet | FastPropLogic, PropLogic |
| formMeetForm | FastPropLogic, PropLogic |
| fromIdxPropForm | FastPropLogic, PropLogic |
| fromList | Costack |
| fromMixForm | FastPropLogic, PropLogic |
| fromPropForm | PropLogicCore, PropLogic |
| fromXPCNF | FastPropLogic, PropLogic |
| fromXPDNF | FastPropLogic, PropLogic |
| F_ | PropLogicTest, PropLogic |