Individual km#deductive_reasoning_system__deductivereasoningsystem  an inference is "deductively valid" if and only if there is no possible situation in which all the premises are true and the conclusion false
  >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 deductive_reasoning_system; click here to add one.