Discrete Mathematics

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 logical equivalences involving conditional statements

Table of laws of logical equivalence

Calculus and Discrete Mathematics Expert

Find step-by-step solutions and answers to Exercise 44 from Discrete Mathematics and Its Applications - 9780073383095, as well as thousands of textbooks so you can move forward with confidence.

symbols & definitions