# ln022 - Logic as a Programming Language Logic can be...

This preview shows pages 1–4. Sign up to view the full content.

Logic as a Programming Language Logic can be considered the oldest programming language Aristotle invented propositional logic over 2000 years ago in order to prove properties of formal arguments Propositions - simple statements that are either true or false; e.g. Betty wears a white dress. Today is Sunday. Propositional Logic propositions + rules of inference Most famous inference rule: modus ponens (1) Inference is the act or process of drawing a conclusion based solely on what one already knows. ( 2) Rule of inference is a scheme for constructing valid inferences. Let A and B be propositions, then A implies B A is true -------------------- B is true HW : (1) Read Section 1 online tutorial (2) Install SWI Prolog Both are available on the CSC301 Prolog page. Chap 19 & 20

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Propositional Logic Example : If Betty wears a white dress then today is Sunday. Betty wears a white dress. ------------------------------------------------------------------------ Today is Sunday. A fundamental problem with propositional logic is that it is not powerful enough to encode general knowledge - we would like to say things like: All objects that are considered human are mortal. Due to the fact that this sentence is not simple it can not be considered a proposition. But these kind of sentences are key in describing general knowledge.
Quantification Friedrich Ludwig Gottlob Frege Philosopher and Logician o In 1879 Gottlob Frege introduced the

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 10/03/2011 for the course CSC 301 taught by Professor Hamel during the Spring '08 term at Rhode Island.

### Page1 / 14

ln022 - Logic as a Programming Language Logic can be...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online