Example: dental hygienist
Inference Rules and Proof Methods - Engineering
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).
Download Inference Rules and Proof Methods - Engineering
Information
Domain:
Source:
Link to this page: