add(InterpretabilityLogic): Add completeness of IL#605

SnO2WMaN wants to merge 8 commits into

masterFormalizedFormalLogic/Foundation:masterfrom

IL_FFPFormalizedFormalLogic/Foundation:IL_FFPCopy head branch name to clipboard