Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • Propositional logic is not adequate for formalizing valid arguments that rely on the internal structure of the propositions involved

  • In propositional logic the smallest atoms represent whole propositions (propositions are atomic)

    • Propositional logic does not capture the internal structure of the propositions

    • It is not possible to work with units smaller than a proposition

  • Example:

    • “A Mercedes Benz is a Car” and “A car drives” are two individual, unrelated propositions

    • We cannot conclude “A Mercedes Benz drives”

Speaker notes:

Content Tools


There are currently no sources for this slide.