Dictionnaire breton des sciences et des techniques

mathématiques , informatique ◊ étude des relations logiques entre propositions et qui définit les lois formelles selon lesquelles les propositions complexes sont formées