As the name suggests propositional logic is a branch of mathematical logic which studies the logical relationships between propositions (or statements, sentences, assertions) taken as a whole, and connected via logical connectives. Propositional logic is also known by the names sentential logic, propositional calculus and sentential calculus. It is useful in a variety of fields, including, but not limited to: workflow problems computer logic gates computer science game strategies designing…

Table of laws of logical equivalence

Logical equivalencies

In Boolean Algebra, there are three basic operations, +, :. :, :^ prime which are analogous to disjunction, conjunction, and negation in propositional logic . Each of these operations has a corresponding logic gate. Apart from these, there are a few other logic gates as well. It was invented by

Lesson 8: Symbolization What you’ll learn in this lesson: Using variables to better analyze form More on the difference between structure and meaning How to symbolize an argument As we learned in the lessons in Module 1 of this course, statements, written as sentences, are symbols that represent an idea or meaning called propositions. In […]

I have heard many sermons on the issue of faith and good works as conveyed in the book of James. Each time I hear such a sermon I am led, as a mathematician, to connect the relevant Scripture and mathematical logic or, simply, logic. Making such a connection shows how science/mathematics provides compelling evidence for the accuracy of the Bible and the Christian worldview.

Buy Dover Books on Mathematics: Mathematical Logic (Paperback) at Walmart.com

Logical Methods: The Art of Thinking Abstractly and Mathematically von Roger Antonsen