History---
The rigorisation of mathematics in the 19th Century culminated in Frege's attempt to reduce mathematics to formal logic, and Russell's discovery of the incoherence of Frege's logical system.
Definition-- Logic is for constructing proofs, which give us reliable confirmation of the truth of the proven proposition.
Logic consist of truth value which TRUE, FALSE but not both.
No comments:
Post a Comment