Definition that contains formal logic
- logical diagram a graphical representation of a program using formal logic
- logicism (philosophy) the philosophical theory that all of mathematics can be derived from formal logic
- logic diagram a graphical representation of a program using formal logic