Individual km#binary_logic__boolean_logic__booleanlogic  logic where the principle of bivalence is respected; this principle states that for any proposition P, either P is true or P is false
  url:  http://en.wikipedia.org/wiki/Binary_logic
  >part of:  logic.philosophy  the branch of philosophy that analyzes inference
     >part of:  philosophy  the rational investigation of questions about existence and knowledge and ethics

No statement uses or specializes binary_logic; click here to add one.