Intro to First-Order Logic. Propositional Logic Propositional Logic is a language for creating functions that take N binary values (true or false) as.