Example: dental hygienist
Inference Rules and Proof Methods - Engineering

Inference Rules and Proof Methods - Engineering

Back to document page

or previously proven statements (antecedents) to yield a new true statement (the consequent). A formal proof demonstrates that if the premises are true, then the conclusion is true. Note that the word formal here is not a synomym of rigorous. A formal proof is based simply on symbol manipulation (no need of thinking, just apply rules).

  Antecedents

Download Inference Rules and Proof Methods - Engineering


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries