Propositional and Predicate Logic

A Proposition is a declarative sentence, which may be shown to be either true, or false, whether the statement is true or false is not – however – relevant. Both “1+2-=3” and “1+2=4” are example of propositions. Predicate logic allows us to explore the truthfulness of a statement, it has an expressive power which propositional […]

Read More