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.

Syntax

  • Logical constants: true, false

  • Propositional symbols: P, Q, S, ...

  • Wrapping parentheses: ( … )

  • Atomic formulas: Propositional Symbols or logical constants

  • Formulas are either atomic formulas, or can be formed by combining atomic formulas with the following connectives:

    • ...and [conjunction]

    • ...or [disjunction]

    • →...implies [implication / conditional]

    • ...is equivalent [biconditional]

    • ¬ ...not [negation]


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.