Name of presentation

PoweredTemplate.com
 Let’s get started with …

Logics!
The study of truths based completely on the meanings of the terms they contain.”
Logic is a process for making a conclusion and a tool you can use
Logic plays a key role in computer science (databases, computational complexity, programming languages, artificial
intelligence, hardware and software design and verification, etc..), and is undoubtedly one of the foundations that
provide the maturity and agility to assimilate the future concepts, languages, techniques and tools in computer science.

 Real world math example

1. Math helps us to build things
2. Math is in the grocery store
3. Math makes baking fun
4. Math helps us to save money
5. Math lets you manage time

 Lets take an example of formal logic

Premises:
All spider have eight legs. Black widows are a tuple of spider
Conclusion:
Black widows have eight legs
 Proposition or Statement

A statement or proposition is a declarative sentence that is either true ( T or 1) or

False ( F or 0), but not both.

Example
• 3+5=8 : Proposition
• 9-2=5 : Proposition
• a<b : Not a Proposition
• Who can speak hindi : Not a Proposition

Now lets play a game!

 The statement / proposition game

“Please do not fall asleep.”

• Is this a statement? No
It’s a request.

• Is this a proposition? No
Only statement can be proposition