0 Replies - 1311 Views - Last Post: 13 January 2010 - 05:24 AM Rate Topic: -----

#1 ladyinblack  Icon User is offline

  • D.I.C Regular
  • member icon

Reputation: 9
  • View blog
  • Posts: 419
  • Joined: 08-April 09

Formal Proofs

Posted 13 January 2010 - 05:24 AM

Formal Proof is a method of proof by way of deductive system, using rules such as Identity Introduction and Identity Elimination mostly, and occasionally Reiteration.

Refer to the attached tutorial.

Attached File(s)


Is This A Good Question/Topic? 0
  • +

Page 1 of 1