module Hw1 where

import SimpleProp
import Blocks

-- p /\ q |- q /\ p
test1 = undefined

--  (p /\ q /\ r), (s /\ t) |- q /\ s
test2 = undefined

-- p -> (q -> r), p -> q |- p -> r
test3 = undefined

--     p1 -> p2  ~p2
--     -------------
--         ~p1
modusTollens = undefined


--  p1 \/ ~p1
excludedMiddle = undefined