First Order Logic
Published July 6, 2018
16 min
    Add to queue
    Copy URL
    Show notes

    Logic is a fundamental of mathematical systems. It's roots are the values true and false and it's power is in what it's rules allow you to prove. Prepositional logic provides it's user variables. This episode gets into First Order Logic, an extension to prepositional logic.

        0:00:00 / 0:00:00