IHMC Public Cmaps (2)

        Georgia Tech PST 3113
            LAM schemes
                MH
                    Resources for modus ponens
                    LAM-2

                        modus ponens tollens truth table proof.htm