Topics

1. What do you know about the quality and Quality of proposition?

2. What is the Traditional square of Opposition?
3. What are Categorical propositions? Write their classes?
4. create an example of a statement in the form of "Some S are P"?
5. How does the validity of "Some S are not P" affect logical analysis?
6. Provide any two examples of categorical syllogisms and evaluate their validity?
7. Discuss real-world applications where understanding categorical syllogisms or formal
logic is beneficial?
8. Write any 10 logical symbols and its purpose?
9. Identify the major, minor, and middle terms in a given categorical syllogism and explain
how their interaction determines the validity of the argument?"
10. What do you know about the formal Nature of Syllogistic Argument
1. Express the following in Venn Diagrams Give the results of--------
2. • Some students are diligent. • All humans are mortal.
• All diligent individuals succeed. • Socrates is a human.
• Therefore, some students succeed. • Therefore, Socrates is mortal.
•
3. • All mammals are animals. • All birds can fly.
• All dogs are mammals. • Some bats can fly.
• Therefore, all dogs are animals. • Therefore, some bats are birds.

4. • All apples are fruits. • All mammals are animals.

• Some fruits are not oranges. • Some birds are animals.
• Therefore, some apples are not • Therefore, some birds are
oranges. mammals.

5. • All politicians are ambitious. • No dogs are cats.

• Some ambitious people are not • No cats are rats.
honest. • Therefore, some dogs are rats.
• Therefore, some politicians are not
honest.

6. • No reptiles are mammals. • No operating systems are

• All snakes are reptiles. invulnerable.
• Therefore, no snakes are mammals. • No antivirus software is
• All birds are animals. invulnerable.
• Therefore, some antivirus
• Some eagles are birds.
software is an operating system.
• Therefore, some eagles are animals.
 7. • No operating system is immune to • All computer scientists know
vulnerabilities. programming languages.
• Linux is an operating system. • Some artists know
• Therefore, Linux is not immune to programming languages.
vulnerabilities. • Therefore, some artists are
computer scientists.
8. • All software engineers code. • No operating systems are
• Some gamers code. invulnerable.
• Therefore, some gamers are • No antivirus software is
software engineers. invulnerable.
• Therefore, some antivirus
software is an operating system.
9. • All computers require electricity to • No operating systems are
function. invulnerable.
• Some calculators require electricity • No antivirus software is
to function. invulnerable.
• Therefore, some calculators are • Therefore, some antivirus
computers. software is an operating system.

10. • All programming languages use • No operating systems are

syntax. invulnerable.
• Python is a programming language. • No antivirus software is
• Therefore, Python uses syntax. invulnerable.
• Therefore, some antivirus
software is an operating system.

For Ture and False

1. If "No S is P" is given true, then "No P is S" is true.
2. If "No S is P" is given false, then "No P is S" is false.
3. If "Some S is P" is given true, then "Some P is S" is true.
4. If "Some S is P" is given false, then "Some P is S is false.
5. If "All S is P" is given true, then "All non-P is non-S" is true.
6. If "All S is P" is given false, then "All non-P is non-S" is false.
7. If "Some S is not P" is given true, then "Some non-P is not non-S" is true.
8. If "Some S is not P" is given false, then "Some non-P is not non-S" is false.
9. If "All S is P" is given true, then "No S is non-P" is true.
10. If "All S is P" is given false, then "No S is non-P" is false.
11. If "No S is P" is given true, then "All S in non-P" is true.
12. If "No S is P" is given false, then "All S is non-P" is false.
13. If "Some S is P" is given true, then "Some S is not non-P" is true.
14. If "Some S is P" is given false, then "Some S is not non-P" is false.
15. If "Some S is not P" is given true, then "Some S is non-P" is true.
16. If "Some S is not P" is given false, then "Some S is non-P" is false