^b- p^(~qv p) =P Theorem 2.1.1 Logical Equivalences Given any statement variables p, q, and r, a tautology t and a contradiction c, the following logical equivalences hold. 1. Commutative laws: P Vq = qVp (p V q) V r = p V (q V r) p V (q ^ r) = (p v q) ^ (p v r) P^q = q^p (p^q)^r=p ^ (q ^ r) рл (qvr) %3D(рлд)v(р^г) 2. Associative laws: 3. Distributive laws: 4. Identity laws: p^t=p V c = p p 5. Negation laws: PV ~p=t P^~p = c 6. Double negative law: ~(~p) = p 7. Idempotent laws: p V p = p P^p=p 8. Universal bound laws: Pvt=t рлс3Dс 9. De Morgan's laws: ~(p ^ q) = ~p V ~q p V (p ^ q) = P (p V q) = ~p^~q p^ (p v q) = p 10. Absorption laws: 11. Negations of t and c: ~t = c ~c = t

Algebra: Structure And Method, Book 1
(REV)00th Edition
ISBN:9780395977224
Author:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Chapter4: Polynomials
Section4.4: Powers Of Monimials
Problem 8WE
icon
Related questions
Topic Video
Question

Use Theorem 2.1.1 to verify the logical equivalences. Supply a reason for each step.

^b-
p^(~qv p) =P
Transcribed Image Text:^b- p^(~qv p) =P
Theorem 2.1.1 Logical Equivalences
Given any statement variables p, q, and r, a tautology t and a contradiction c, the following logical equivalences
hold.
1. Commutative laws:
P Vq = qVp
(p V q) V r = p V (q V r)
p V (q ^ r) = (p v q) ^ (p v r)
P^q = q^p
(p^q)^r=p ^ (q ^ r)
рл (qvr) %3D(рлд)v(р^г)
2. Associative laws:
3. Distributive laws:
4. Identity laws:
p^t=p
V c = p
p
5. Negation laws:
PV ~p=t
P^~p = c
6. Double negative law:
~(~p) = p
7. Idempotent laws:
p V p = p
P^p=p
8. Universal bound laws:
Pvt=t
рлс3Dс
9. De Morgan's laws:
~(p ^ q) = ~p V ~q
p V (p ^ q) = P
(p V q) = ~p^~q
p^ (p v q) = p
10. Absorption laws:
11. Negations of t and c:
~t = c
~c = t
Transcribed Image Text:Theorem 2.1.1 Logical Equivalences Given any statement variables p, q, and r, a tautology t and a contradiction c, the following logical equivalences hold. 1. Commutative laws: P Vq = qVp (p V q) V r = p V (q V r) p V (q ^ r) = (p v q) ^ (p v r) P^q = q^p (p^q)^r=p ^ (q ^ r) рл (qvr) %3D(рлд)v(р^г) 2. Associative laws: 3. Distributive laws: 4. Identity laws: p^t=p V c = p p 5. Negation laws: PV ~p=t P^~p = c 6. Double negative law: ~(~p) = p 7. Idempotent laws: p V p = p P^p=p 8. Universal bound laws: Pvt=t рлс3Dс 9. De Morgan's laws: ~(p ^ q) = ~p V ~q p V (p ^ q) = P (p V q) = ~p^~q p^ (p v q) = p 10. Absorption laws: 11. Negations of t and c: ~t = c ~c = t
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Knowledge Booster
Propositional Calculus
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Algebra: Structure And Method, Book 1
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell
Intermediate Algebra
Intermediate Algebra
Algebra
ISBN:
9780998625720
Author:
Lynn Marecek
Publisher:
OpenStax College
Elementary Algebra
Elementary Algebra
Algebra
ISBN:
9780998625713
Author:
Lynn Marecek, MaryAnne Anthony-Smith
Publisher:
OpenStax - Rice University
PREALGEBRA
PREALGEBRA
Algebra
ISBN:
9781938168994
Author:
OpenStax
Publisher:
OpenStax
Algebra and Trigonometry (MindTap Course List)
Algebra and Trigonometry (MindTap Course List)
Algebra
ISBN:
9781305071742
Author:
James Stewart, Lothar Redlin, Saleem Watson
Publisher:
Cengage Learning