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.
Extensions

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”