🇬🇧  Logic
Elements of propositional calculation

Almost totally parenthesized logical expressions, tree construction and graphical representation, in the form of practical work, with answers in OCaml and Python

• Validity of a formula using Beth trees, with OCaml and Python

  • • Beth-ELQuasiTP-TP-Caml-Python-EN.pdf

    • Beth-ELQuasiTP-TP-Caml-Python-EN.html.zip

• Logical expressions not totally parenthesized, with OCaml and Python

  • • Arbre-Expression-Logique-NTP-EN.pdf

    • Arbre-Expression-Logique-NTP-EN.html.zip

• Non-parenthesized arithmetic expressions, with OCaml and Python

  • • Arbre-Expression-Arithmetique-NTP-EN.pdf

    • Arbre-Expression-Arithmetique-NTP-EN.html.zip