Propositional Logic

As usual, we should start with the appropriate definitions. Remember that in mathematics, we must know the definitions before we can start trying to solve a problem. Definitions Let p and q be propositions. The disjunction of p and q, denoted by p ∨ q, is the proposition “p or q.” The disjunction p ∨ […]

Solve the following exercise. 11. Let p and q be the propositions p: It is below freezing. q: It is snowing. Write these propositions using p and q and logical connectives (including negations). a) It is below freezing and snowing.b) It is below freezing but not snowing.c) It is not below freezing and it is

Suppose that during the most recent fiscal year, the annual revenue of Acme Computer was 138 billion dollars and its net profit was 8 billion dollars, the annual revenue of Nadir Software was 87 billion dollars and its net profit was 5 billion dollars, and the annual revenue of Quixote Media was 111 billion dollars

In this post, I’ll show some examples of how to negate propositions. As I always recommend, let’s start with the definitions. Definitions Let p be a proposition. The negation of p, denoted by ¬p, is the statement “It is not the case that p.”  The proposition ¬p is read “not p.” The truth value of

Propositional logic is a very important topic in Discrete Mathematics. It is part of the foundations every student should know. In this post, I’ll show how I solve this specific type of exercise. In mathematics, definitions are very important. As I always recommend to my students, when you are starting a new topic, and you