Index - I
| IAtom | FastPropLogic, PropLogic |
| iAtom | FastPropLogic, PropLogic |
| iBool | FastPropLogic, PropLogic |
| iCNF | FastPropLogic, PropLogic |
| iDNF | FastPropLogic, PropLogic |
| idx | FastPropLogic, PropLogic |
| IdxPropForm | FastPropLogic, PropLogic |
| IForm | FastPropLogic, PropLogic |
| iForm | FastPropLogic, PropLogic |
| iformJoinM2form | FastPropLogic, PropLogic |
| iformJoinPrimForm | FastPropLogic, PropLogic |
| ILine | FastPropLogic, PropLogic |
| iLine | FastPropLogic, PropLogic |
| ILit | FastPropLogic, PropLogic |
| iLIT | FastPropLogic, PropLogic |
| included | Olist |
| infElim | PropLogicCore, PropLogic |
| infRed | PropLogicCore, PropLogic |
| iNLC | FastPropLogic, PropLogic |
| iNLD | FastPropLogic, PropLogic |
| insert | Olist |
| intersection | Olist |
| intersectionList | Olist |
| invertForm | FastPropLogic, PropLogic |
| invertLine | FastPropLogic, PropLogic |
| irrAtoms | PropLogicCore, PropLogic |
| isCNF | DefaultPropLogic, PropLogic |
| isDNF | DefaultPropLogic, PropLogic |
| isEmpty | |
| 1 (Function) | Costack |
| 2 (Function) | Olist |
| isEvalNF | DefaultPropLogic, PropLogic |
| isIAtom | FastPropLogic, PropLogic |
| isIForm | FastPropLogic, PropLogic |
| isILine | FastPropLogic, PropLogic |
| isILit | FastPropLogic, PropLogic |
| isLitForm | DefaultPropLogic, PropLogic |
| isMinimalPair | FastPropLogic, PropLogic |
| isNaturalCNF | DefaultPropLogic, PropLogic |
| isNaturalDNF | DefaultPropLogic, PropLogic |
| isNegNormForm | DefaultPropLogic, PropLogic |
| isNLC | DefaultPropLogic, PropLogic |
| isNLD | DefaultPropLogic, PropLogic |
| isNonSpaceWhite | TextDisplay |
| isOlist | Olist |
| isOrderedForm | FastPropLogic, PropLogic |
| isOrdPropForm | DefaultPropLogic, PropLogic |
| isPairwiseMinimal | FastPropLogic, PropLogic |
| iTr | FastPropLogic, PropLogic |
| itr | FastPropLogic, PropLogic |
| iUni | FastPropLogic, PropLogic |