• noun
• synonym
• antonym

• Aristotelian logic (noun)
  1. the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages
• Boolean logic (noun)
  1. a system of symbolic logic devised by George Boole; used in computers
• alethic logic (noun)
  1. the modal logic of necessity and possibility and contingency
• deontic logic (noun)
  1. the modal logic of obligation and permissibility
• doxastic logic (noun)
  1. the modal logic of belief and disbelief
• epistemic logic (noun)
  1. the modal logic of knowledge and uncertainty and ignorance
• formal logic (noun)
  1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
• fuzzy logic (noun)
  1. a type of LOGIC which is used to try to make computers think like humans
• logic bomb (noun)
  1. or 'explode' a set of instructions inserted into a program that are designed to execute if a particular condition is satisfied; when exploded it may delete or corrupt data, or print a spurious message, or have other harmful effects
• logic diagram (noun)
  1. a graphical representation of a program using formal logic
• More