ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
VENN DIAGRAMS AND
CATEGORICAL PROPOSITION
1. An empty circle is used to
represent a subject class or a
predicate class and is generally so
labeled with an S or a P. Putting
the name of the actual subject or
predicate class next to the circle is
preferred.
2. Shading or many parallel lines
are used to indicate areas which are
known to be empty. I.e., there are
no individuals existing in that area.
E.g., the diagram to the right
represents the class of "Yeti."
3. The third symbol used is an "X"
which represents "at least one" or
"some" individual exists in the area
in which it is placed. The diagram
to the right indicates "some thing."
Venn Diagrams in General
        1.Universal affirmative proposition



1. The A form, "All S is P," is
shown in the diagram to the right.
Notice that all of the S's are pushed
out, so to speak, into the P class. If
S's exist, they must be inside the P
circle since the left-hand lune of
the diagram is shaded and so is
empty.
2. Universal negative proposition

2. The E form, "No S is P," is
shown in the diagram to the
right. Notice that the lens area
of the diagram is shaded and so
no individual can exist in this
area. The lens area is where S
and P are in common; hence,
"No S is P." All S, if there are
any, are in the left-hand lune,
and all P, if there are any, are
relegated to the right-hand lune.
3. The I form, "Some S is P," is
much more easily seen. The "X" in
the lens, as shown in the diagram to
the right, indicates at least one
individual in the S class is also in
the P class.
4. The O form, "Some S is not P,"
is also easily drawn. The S that is
not a P is marked with an "X" in
the S-lune. This area is not within
the P circle and so is not a P. It is
worth while to note, that from this
diagram we cannot conclude that
"Some S is P" because there is no
"X" in the lens area. Thus, studying
this diagram will explain why
"Some S is not P" does not entail
"Some S is P."
SYMBOLIC LOGIC
SYMBOLS

Symbols comprise every language. Per se,
symbols are effective tools of human
activities whether in social interaction or
in the search for knowledge.
This part will help us understand Symbolic Logic, its
basic components and structures, symbols and fucntions
of statements constituting a basic argument.

This process of proving validity is an indispensable tool to
recognize the universal patters of valid arguments.
Truth-Functional Operators
 Four types of truth-functional compounds,
    1. Conjunctions (Conjunctive Proposition)
Here are some words that in many standards uses yield
conjunctions;



 _____and_______
 Both____and________
 ______but_______
 ______yet_______
 ______although_______
 ______whereas________
 ______while________
Manuel is strong and Gina is pretty.
Both Manuel is strong and Gina is pretty.
Manuel is strong but Gina is pretty.
Manuel is strong yet Gina is pretty.
Manuel is strong although Gina is pretty.
Manuel is strong whereas Gina is pretty.
Manuel is strong while Gina is pretty.
2. Disjunction (Disjunctive Proposition)
Here are some words that in many of their standard use yield
disjunctions.
Either_____or_______
______or_______
______unless_______

Either Manuel is strong or Gina is pretty.
Manuel is strong or Gina is pretty.
Manuel is strong unless Gina is pretty.
3. Implication (Conditional Proposition)

 If ____then______
 If____, _____
 _____only if_____
 _____if______
 _____provided that______
 not____unless_______

If Manuel is strong then Gina is pretty.
If Manuel is strong, Gina is pretty.
Manuel is strong only if Gina is pretty.
Gina is pretty if Manuel is strong.
Gina is pretty provided that Manuel is strong.
Manuel is not strong unless Gina is pretty.
4. Material Equivalence (Bi-Conditional Proposition)
   Here are some phrases that in many of their standard uses yield
   material equialence:
 _______if, and only if,_______
 _______when, and only when,______
 _______is equivalent to _______

These phrases can result into material equivalences, such as:
 Manuel is strong if, and only if, Gina is pretty.
 Manuel is strong when, and only when Gina is pretty.
 Manuel is strong is equivalent to Gina is pretty.
Negation (Contradictory or denial)

It is not the case that______
It is not true that_______
There is no way that________
______is false.
It is false that_______

It is not the case that Manuel is strong.
It is not true that Manuel is strong.
There is no way that Manuel is strong.
¡°Manuel is strong¡± is false.
It is false that Manuel is strong.
End
Ad

Recommended

PPTX
Coordination and more. 18.01.13
ÔÆÕä µË
?
PPTX
The Complex sentence - Coordination and Subordination
Mery Kul
?
PDF
Technologic Design Engineering; Transmission on a drill press
xhuyghe
?
PDF
informatie doucherolstoelen
xhuyghe
?
PPT
Nicola presentation
luciano888
?
PPT
Revakirolstoelen
xhuyghe
?
PPTX
Event driven hedge_funds
Rod Medallon
?
PPT
Algebra relacional
Luis Polanco-Balcazar
?
PPTX
Central Banks Macro Adjustments
Rod Medallon
?
PPTX
Valuation methodology
Rod Medallon
?
PDF
Technologic Design Engineering; Drill press for dummies
xhuyghe
?
PPTX
Capital Asset Pricing Model
Rod Medallon
?
PPT
Commercial Real Estate Financial Analysis
Rod Medallon
?
PPTX
Real estate market dynamics
Rod Medallon
?
PPTX
Medical Anthropology
Ben Villareal , M.A.
?
PDF
World literature/ Notes
Ben Villareal , M.A.
?
PPT
Diagnosticos respiratorios
Kratos Spartan
?
PPTX
Discounted Cash Flow
Rod Medallon
?
PPT
Ethics of technology
Ben Villareal , M.A.
?
PPTX
A categorical proposition asserts that either all or part of the class denote...
sisay donis
?
PPTX
Sentence semantics
Hywel Evans
?
PPTX
Testing for Validity with Venn Diagrams
dyeakel
?
PPTX
d79c6256b9bdac53_20231124_093457Lp9AB.pptx
victoriadaza4
?
PPTX
Sentence sem1update
Hywel Evans
?
PDF
Syllogism by premises from das sir (08961556195)
Tamal Kumar Das
?
PDF
Syllogism by premises from das sir (08961556195)
Tamal Kumar Das
?
PPTX
Lecture_-_Logic.pptttttttttttttr5rr55rtt
CrenzylAzeaCawaling
?
PDF
Dynamics Of Meaning Anaphora Presupposition And The Theory Of Grammar Gennaro...
kileoyijia
?
PPTX
logic - workbook summary
Kim Clyde Mallari
?
PDF
Formal languages
Vestforsk.no
?

More Related Content

Viewers also liked (11)

PPTX
Central Banks Macro Adjustments
Rod Medallon
?
PPTX
Valuation methodology
Rod Medallon
?
PDF
Technologic Design Engineering; Drill press for dummies
xhuyghe
?
PPTX
Capital Asset Pricing Model
Rod Medallon
?
PPT
Commercial Real Estate Financial Analysis
Rod Medallon
?
PPTX
Real estate market dynamics
Rod Medallon
?
PPTX
Medical Anthropology
Ben Villareal , M.A.
?
PDF
World literature/ Notes
Ben Villareal , M.A.
?
PPT
Diagnosticos respiratorios
Kratos Spartan
?
PPTX
Discounted Cash Flow
Rod Medallon
?
PPT
Ethics of technology
Ben Villareal , M.A.
?
Central Banks Macro Adjustments
Rod Medallon
?
Valuation methodology
Rod Medallon
?
Technologic Design Engineering; Drill press for dummies
xhuyghe
?
Capital Asset Pricing Model
Rod Medallon
?
Commercial Real Estate Financial Analysis
Rod Medallon
?
Real estate market dynamics
Rod Medallon
?
Medical Anthropology
Ben Villareal , M.A.
?
World literature/ Notes
Ben Villareal , M.A.
?
Diagnosticos respiratorios
Kratos Spartan
?
Discounted Cash Flow
Rod Medallon
?
Ethics of technology
Ben Villareal , M.A.
?

Similar to Venndiag (20)

PPTX
A categorical proposition asserts that either all or part of the class denote...
sisay donis
?
PPTX
Sentence semantics
Hywel Evans
?
PPTX
Testing for Validity with Venn Diagrams
dyeakel
?
PPTX
d79c6256b9bdac53_20231124_093457Lp9AB.pptx
victoriadaza4
?
PPTX
Sentence sem1update
Hywel Evans
?
PDF
Syllogism by premises from das sir (08961556195)
Tamal Kumar Das
?
PDF
Syllogism by premises from das sir (08961556195)
Tamal Kumar Das
?
PPTX
Lecture_-_Logic.pptttttttttttttr5rr55rtt
CrenzylAzeaCawaling
?
PDF
Dynamics Of Meaning Anaphora Presupposition And The Theory Of Grammar Gennaro...
kileoyijia
?
PPTX
logic - workbook summary
Kim Clyde Mallari
?
PDF
Formal languages
Vestforsk.no
?
PPT
categorical logic.ppt
GulEFarisFaris
?
PPT
Logic
Jeane Paguio
?
PDF
Relative Charity
form_phil
?
PPT
logic_lec4.ppt
noramohed732
?
PPT
4.3 Venn Diagrams And The Modern Square Of Opposition
Nicholas Lykins
?
PPT
4 2 t4_chapterfourpowerpoint
sagebennet
?
PPT
4 2 t4_chapterfourpowerpoint
sagebennet
?
PPTX
Chapter 1
scrasnow
?
PDF
BCS515B Module 4 vtu notes : Artificial Intelligence Module 4 .pdf
Swetha A
?
A categorical proposition asserts that either all or part of the class denote...
sisay donis
?
Sentence semantics
Hywel Evans
?
Testing for Validity with Venn Diagrams
dyeakel
?
d79c6256b9bdac53_20231124_093457Lp9AB.pptx
victoriadaza4
?
Sentence sem1update
Hywel Evans
?
Syllogism by premises from das sir (08961556195)
Tamal Kumar Das
?
Syllogism by premises from das sir (08961556195)
Tamal Kumar Das
?
Lecture_-_Logic.pptttttttttttttr5rr55rtt
CrenzylAzeaCawaling
?
Dynamics Of Meaning Anaphora Presupposition And The Theory Of Grammar Gennaro...
kileoyijia
?
logic - workbook summary
Kim Clyde Mallari
?
Formal languages
Vestforsk.no
?
categorical logic.ppt
GulEFarisFaris
?
Relative Charity
form_phil
?
logic_lec4.ppt
noramohed732
?
4.3 Venn Diagrams And The Modern Square Of Opposition
Nicholas Lykins
?
4 2 t4_chapterfourpowerpoint
sagebennet
?
4 2 t4_chapterfourpowerpoint
sagebennet
?
Chapter 1
scrasnow
?
BCS515B Module 4 vtu notes : Artificial Intelligence Module 4 .pdf
Swetha A
?
Ad

Recently uploaded (20)

PPTX
" How to survive with 1 billion vectors and not sell a kidney: our low-cost c...
Fwdays
?
PPTX
Security Tips for Enterprise Azure Solutions
Michele Leroux Bustamante
?
PDF
Raman Bhaumik - Passionate Tech Enthusiast
Raman Bhaumik
?
PDF
GenAI Opportunities and Challenges - Where 370 Enterprises Are Focusing Now.pdf
Priyanka Aash
?
PDF
2025_06_18 - OpenMetadata Community Meeting.pdf
OpenMetadata
?
PDF
Coordinated Disclosure for ML - What's Different and What's the Same.pdf
Priyanka Aash
?
DOCX
Daily Lesson Log MATATAG ICT TEchnology 8
LOIDAALMAZAN3
?
PDF
The Future of Product Management in AI ERA.pdf
Alyona Owens
?
PDF
Salesforce Summer '25 Release Frenchgathering.pptx.pdf
yosra Saidani
?
PDF
AI vs Human Writing: Can You Tell the Difference?
Shashi Sathyanarayana, Ph.D
?
PDF
Securing AI - There Is No Try, Only Do!.pdf
Priyanka Aash
?
PDF
A Constitutional Quagmire - Ethical Minefields of AI, Cyber, and Privacy.pdf
Priyanka Aash
?
PDF
Mastering AI Workflows with FME by Mark Do?ring
Safe Software
?
PDF
"Database isolation: how we deal with hundreds of direct connections to the d...
Fwdays
?
PDF
Quantum AI Discoveries: Fractal Patterns Consciousness and Cyclical Universes
Saikat Basu
?
PDF
9-1-1 Addressing: End-to-End Automation Using FME
Safe Software
?
PPTX
Securing Account Lifecycles in the Age of Deepfakes.pptx
FIDO Alliance
?
PDF
Lessons Learned from Developing Secure AI Workflows.pdf
Priyanka Aash
?
PDF
Hyderabad MuleSoft In-Person Meetup (June 21, 2025) ºÝºÝߣs
Ravi Tamada
?
PDF
WebdriverIO & JavaScript: The Perfect Duo for Web Automation
digitaljignect
?
" How to survive with 1 billion vectors and not sell a kidney: our low-cost c...
Fwdays
?
Security Tips for Enterprise Azure Solutions
Michele Leroux Bustamante
?
Raman Bhaumik - Passionate Tech Enthusiast
Raman Bhaumik
?
GenAI Opportunities and Challenges - Where 370 Enterprises Are Focusing Now.pdf
Priyanka Aash
?
2025_06_18 - OpenMetadata Community Meeting.pdf
OpenMetadata
?
Coordinated Disclosure for ML - What's Different and What's the Same.pdf
Priyanka Aash
?
Daily Lesson Log MATATAG ICT TEchnology 8
LOIDAALMAZAN3
?
The Future of Product Management in AI ERA.pdf
Alyona Owens
?
Salesforce Summer '25 Release Frenchgathering.pptx.pdf
yosra Saidani
?
AI vs Human Writing: Can You Tell the Difference?
Shashi Sathyanarayana, Ph.D
?
Securing AI - There Is No Try, Only Do!.pdf
Priyanka Aash
?
A Constitutional Quagmire - Ethical Minefields of AI, Cyber, and Privacy.pdf
Priyanka Aash
?
Mastering AI Workflows with FME by Mark Do?ring
Safe Software
?
"Database isolation: how we deal with hundreds of direct connections to the d...
Fwdays
?
Quantum AI Discoveries: Fractal Patterns Consciousness and Cyclical Universes
Saikat Basu
?
9-1-1 Addressing: End-to-End Automation Using FME
Safe Software
?
Securing Account Lifecycles in the Age of Deepfakes.pptx
FIDO Alliance
?
Lessons Learned from Developing Secure AI Workflows.pdf
Priyanka Aash
?
Hyderabad MuleSoft In-Person Meetup (June 21, 2025) ºÝºÝߣs
Ravi Tamada
?
WebdriverIO & JavaScript: The Perfect Duo for Web Automation
digitaljignect
?
Ad

Venndiag

  • 2. 1. An empty circle is used to represent a subject class or a predicate class and is generally so labeled with an S or a P. Putting the name of the actual subject or predicate class next to the circle is preferred.
  • 3. 2. Shading or many parallel lines are used to indicate areas which are known to be empty. I.e., there are no individuals existing in that area. E.g., the diagram to the right represents the class of "Yeti."
  • 4. 3. The third symbol used is an "X" which represents "at least one" or "some" individual exists in the area in which it is placed. The diagram to the right indicates "some thing."
  • 5. Venn Diagrams in General 1.Universal affirmative proposition 1. The A form, "All S is P," is shown in the diagram to the right. Notice that all of the S's are pushed out, so to speak, into the P class. If S's exist, they must be inside the P circle since the left-hand lune of the diagram is shaded and so is empty.
  • 6. 2. Universal negative proposition 2. The E form, "No S is P," is shown in the diagram to the right. Notice that the lens area of the diagram is shaded and so no individual can exist in this area. The lens area is where S and P are in common; hence, "No S is P." All S, if there are any, are in the left-hand lune, and all P, if there are any, are relegated to the right-hand lune.
  • 7. 3. The I form, "Some S is P," is much more easily seen. The "X" in the lens, as shown in the diagram to the right, indicates at least one individual in the S class is also in the P class.
  • 8. 4. The O form, "Some S is not P," is also easily drawn. The S that is not a P is marked with an "X" in the S-lune. This area is not within the P circle and so is not a P. It is worth while to note, that from this diagram we cannot conclude that "Some S is P" because there is no "X" in the lens area. Thus, studying this diagram will explain why "Some S is not P" does not entail "Some S is P."
  • 10. SYMBOLS Symbols comprise every language. Per se, symbols are effective tools of human activities whether in social interaction or in the search for knowledge.
  • 11. This part will help us understand Symbolic Logic, its basic components and structures, symbols and fucntions of statements constituting a basic argument. This process of proving validity is an indispensable tool to recognize the universal patters of valid arguments.
  • 12. Truth-Functional Operators Four types of truth-functional compounds, 1. Conjunctions (Conjunctive Proposition) Here are some words that in many standards uses yield conjunctions; _____and_______ Both____and________ ______but_______ ______yet_______ ______although_______ ______whereas________ ______while________
  • 13. Manuel is strong and Gina is pretty. Both Manuel is strong and Gina is pretty. Manuel is strong but Gina is pretty. Manuel is strong yet Gina is pretty. Manuel is strong although Gina is pretty. Manuel is strong whereas Gina is pretty. Manuel is strong while Gina is pretty.
  • 14. 2. Disjunction (Disjunctive Proposition) Here are some words that in many of their standard use yield disjunctions. Either_____or_______ ______or_______ ______unless_______ Either Manuel is strong or Gina is pretty. Manuel is strong or Gina is pretty. Manuel is strong unless Gina is pretty.
  • 15. 3. Implication (Conditional Proposition) If ____then______ If____, _____ _____only if_____ _____if______ _____provided that______ not____unless_______ If Manuel is strong then Gina is pretty. If Manuel is strong, Gina is pretty. Manuel is strong only if Gina is pretty. Gina is pretty if Manuel is strong. Gina is pretty provided that Manuel is strong. Manuel is not strong unless Gina is pretty.
  • 16. 4. Material Equivalence (Bi-Conditional Proposition) Here are some phrases that in many of their standard uses yield material equialence: _______if, and only if,_______ _______when, and only when,______ _______is equivalent to _______ These phrases can result into material equivalences, such as: Manuel is strong if, and only if, Gina is pretty. Manuel is strong when, and only when Gina is pretty. Manuel is strong is equivalent to Gina is pretty.
  • 17. Negation (Contradictory or denial) It is not the case that______ It is not true that_______ There is no way that________ ______is false. It is false that_______ It is not the case that Manuel is strong. It is not true that Manuel is strong. There is no way that Manuel is strong. ¡°Manuel is strong¡± is false. It is false that Manuel is strong.
  • 18. End

Editor's Notes

  • #16: Based on these, we can make truth-functional compounds that expresses that the first sentence unit is a logical condition of the second. The first part is called the antecedent of the implication and the second part is the consequent of the implication. It asserts the relationships.
  • #18: There is another device, (though not used to form compound sentences) that is very common in almost all natural languages. The device operates to convert the truth-value of a given sentence unit and compound sentences. We refer to this operation as negation. That sentence units can be negated, or asserted not to be true, by using words or phares such as.