Class conducted on: 18-08-2024 by Yash Shah
Humans reason based on existing knowledge and draw conclusions. The concept of representing knowledge and drawing conclusions from it is also used in AI
Logical Connectives
To know more about Propositional Logic and Logical Connections click on the link.
Propositional Logic
Propositional logic is a formal system in mathematics and logic. It is also called propositional calculus, sentential calculus, or sentential logic. It deals with propositions (which can be true or false) and argument flow. Compound propositions are formed by connecting propositions by logical connectives. Propositions are represented by capital letters such as P, Q and R. Connectives are represented by symbols such as ∧, ∨ and ¬. The following table shows the truth tables for negation, conjunction, and disjunction.
Propositional symbols are atomic propositions. They are the basic building blocks of propositional logic. They can be either true or false but not both. They are represented by capital letters such as P, Q and R.
Proposition: A declarative sentence that is either true or false, but not both.
Logical connective:
NOT
The negation of a proposition P is notated as ¬P, and pronounced "not P". It has a truth value opposite to P. The truth table of ¬P is as follows:
| P | ¬P |
|---|---|
| T | F |
| F | T |
AND