- 123 Views
- Uploaded on
- Presentation posted in: General

Symbolic Logic

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

- Everything starts somewhere; in particular, mathematics attributes its origins to the realm of propositional logic
- To work with the fundamentals of logic, it is most convenient to use symbolic logic

- When a proof is constructed, one cannot, in most cases, show that a property is valid for only a single value
- Propositional logic is the oldest and most common way to prove that a particular property holds true for a determined set of elements (EX: all Integers)