## Exam Information

Login / Sign Up to View Document

## Sample Document Text

Math 2534 Test 1A Solutions
Problem 1:
Put the following statement into symbolic logic with multiple quantifiers.
Each student at VT takes at least one math course.
Solution: (8pts)
Let S be the set of all students at VT
Let M be the set of all math courses
P(x,y): x take y
,(,)x SyMPxy?? ?? = ,( ) [ ( , )]x xS yyMPxy??????
Problem 2
If the operation of "nor" is defined to be p ? q ? ? (p ? q). Then use the algebra of
logic to prove the following theorem and justify each step.
Theorem: (p ? q) ? ( p ? q) ? p ? q.
Solution: ( 12pts)
Theorem: (p ? q) ? ( p ? q) ? p ? q.
Proof:
(p ? q) ? ( p ? q) =
[ ( ) ( )] Definition of "nor"
( ) ( ) De Morgan's Law
Idempotent
pq pq
pq pq
pq
¬¬ ? ?¬ ? ?
????
?
Therefore (p ? q) ? ( p ? q) ? p ? q.
Problem 3
Are the following two statements equivalent? Justify your answer using symbolic logic
along with...

## Related Documents

Propositional Logic Notes

Contrapositive Exam

Contrapositive Exam

Contrapositive Exam

Definite Truth Values Notes

Moral Argument Notes

Contrapositive Exam

Contrapositive Exam

Contrapositive Exam

Contrapositive Exam

Inductive Logic Notes

Either...or Notes

Contrapositive Notes

Contrapositive Notes

Contrapositive Notes

Contrapositive Notes

© Copyright 2020 , Koofers, Inc. All rights reserved.

The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.