Scribd
Upload
27 views2 pages

Logic: Syntax and Semantics Difference

Logic consists of a formal system for expressing knowledge about a domain through syntax and semantics. It also includes a proof theory which is a set of rules of inference for deducing sentences from a knowledge base. Logic provides a framework for representing knowledge and drawing conclusions.

Uploaded by

azamfaisal
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
27 views2 pages

Logic: Syntax and Semantics Difference

Logic consists of a formal system for expressing knowledge about a domain through syntax and semantics. It also includes a proof theory which is a set of rules of inference for deducing sentences from a knowledge base. Logic provides a framework for representing knowledge and drawing conclusions.

Uploaded by

azamfaisal
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Logic

Syntax and Semantics difference


Logic

• Logic consists of the following:


• A formal system for expressing knowledge about a
domain describing the Syntax and Semantics.
• The Proof theory- a set of rules of inference for
deducing the sentences from a Knowledge Base (a set
of sentences).

You might also like