Logika Examples for A Formal Logic Introduction Course

This repository holds Logika examples suitable for an undergraduate formal logic introduction course (e.g., K-State's CIS 301: Logical Foundations of Programming) that discusses:

• Truth Table
• Propositional Logic
• Predicate Logic
• Programming Logic
  • Manual Verification
  • Automated Verification

Setup

1. Install Sireum, and set SIREUM_HOME environment variable to the Sireum directory.

2. Clone this repository to a <PATH>

3. Generate Sireum IVE project files:

   • macOS/Linux:

     $SIREUM_HOME/bin/sireum proyek ive <PATH>

   • Windows:

     %SIREUM_HOME%\bin\sireum.bat proyek ive <PATH>

4. Open <PATH> in Sireum IVE

To verify all the examples using Sireum CLI:

• macOS/Linux:

  <PATH>/bin/verify.cmd

• Windows:

  <PATH>\bin\verify.cmd