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 – BNF Grammar

  • Sentence → AtomicSentence | ComplexSentence

  • AtomicSentence → True | False | P | Q | R | ...

  • ComplexSentence ( Sentence ) | Sentence Connective Sentence | ¬ Sentence

  • Connective | | |

  • Ambiguities are resolved through precedence ¬ ∧ ∨
    or parentheses

    • e.g. ¬ P Q R S is equivalent to (¬ P) (Q R)) S


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.