E. PREDICATE LOGIC. Rewrite each sentence symbolically and determine the truth values. Write T if it isย
true and F if it is false. Show complete solution. (5 pts each)
1. For some integer x, ๐ฅ = ๐ฅ2 โ 2
2. For every real number x, ๐๐ ๐ฅ2 โ 1 > ๐ฅ ๐กโ๐๐ ๐ฅ + 1 > 1
3. For some integer n, 4n = 3n + 1
F. RULE OF INFERENCE. Determine if the following argument is valid. If it is valid, what rule of inference isย
used in each of the following arguments? Show solution. (4 pts each)
1. Joy wrote a C++ source code, or Jen wrote a Java source code. If Joy wrote a C++ source code, then theย
problem was solved. If Jen wrote a Java source code, then the problem was solved.ย
2. There does not exist someone who likes to be COVID โ 19 positive; hence, everyone does not like to beย
vaccinated.
G
. PROBLEM SOLVING.ย
A. SET. Let A, B and C are sets and U be universal set.ย
U = {-1, 0, 1, 2, 3, 4, 5, 6, a, b, c, d, e}
A = {-1, 1, 2, 4}
B = {0, 2, 4, 6}
C = {b, c, d}
Find for the following. Show complete solutions. (3 pts each)
1. ๐ต โช ๐ถ
2. ๐ด โ ๐ต ๐ฅ ๐ถ
3. ๐๐๐ค๐๐ ๐ ๐๐ก ๐๐ ๐ถ
4. |๐(๐ต)|
B. SEQUENCES. Consider the sequence {Sn} defined by Sn = 2n โ 5, where ๐ โฅ โ๐.ย
Find for:
1. โ๐๐1๐=โ1
2. โ๐๐4๐=2
C. RELATION. Consider X = {-3, -2, -1, 0, 1} defined by (x,y) โ R if x โฅ y.
Find for:
1. Elements of R (3 pts)
2. Domain and Range of R (2 pts)
3. Draw the digraph (3 pts)
4. Identify the properties of R (2pts)
ย Consider the following statements. Write each statement into its symbolic form.(2 pts each)
Let:
p: Ann solved the problem in discrete math.
q: Bryan solved the problem in discrete math.
r: Cris solved the problem in discrete math.
s: Derynn solved the problem in discrete math.
1. If Derynn solved the problem in discrete math then Bryan and Cris solved it too.
2. Cris solved the problem in discrete math only if Ann and Bryan didnโt solve.
3. Derynn solved the problem in discrete mathematics if and only if Cris solved it and Ann doesnโt solved
4. If Derynn solved the problem in discrete mathematics, then if Cris doesnโt solve it then Ann solved it.
5. Cris solved the problem in discrete mathematics provided that Derynn doesnโt solved, but if Derynn solved it, thenย
Bryan doesnโt solve it.
A. Show whether or not p ๏โ q โก (p ^ q) v (๐ฬ ^ ๐ฬ )ย
B.Let P(x) denote the statement
1
------
x2+1>1. If its domain are all real numbers,
what is the truth value of the following quantified statement? (5 pts each)
1. โxP(x)
2. โxP(x)
C. What rule of inference is used in each of the following arguments? Show
solution. (5 pts each)
1. If it will rain today, then the classes are suspended. The classes are not suspended today. Therefore, it did not rain today.
2. If you read your module today, then you will not play ML today. If you
cannot play ML today, you can play ML tomorrow. Therefore, you read
your module today, then you will play ML tomorrow.
A. Write each statement into its symbolic form
x: PJ is a mathematician
y: MJ is a programmer
a. PJ is not a mathematician.
b. PJ is a mathematician while MJ is a programmer.
c. If PJ is a mathematician then MJ is not a programmer.
d. PJ is a mathematician or if PJ is a mathematician then MJ is a
programmer.
e. Either PJ is a mathematician and MJ is a programmer, or neither PJ is a mathematician nor MJ is a programmer.ย
PREDICATE LOGIC:
A.Write the following predicates symbolically and determine their true value.
Note: Use at least three (3) values for the variables.
1. for every real number x, if x>1 then x โ 1 > 1
2. for some real number x, x2 โค 0ย
B. Translate the following English sentence into a symbol. (3 pts each)
1. No one in this class is wearing pants and a guitarist.
Let:
Domain of x is all persons
A(x): x is wearing pants
B(x): x is a guitarist
C(x): belongs to the class
Answer:
2. No one in this class is wearing pants and a guitarist.
Let:
The domain of x is persons in this class
A(x): x is wearing pants
B(x): x is a guitarist
Answer:
3. There is a student at your school who knows C++ but who doesnโt
know Java.
Let:
Domain: all students at your school
C(x): x knows C++
J(x): x knows Java
Answer:
PREDICATE LOGIC.(25 pts)
A. Let P(x) be the statement x 2 > x4. If the domain consists of the integers,
what are the truth values?
1. P(0)
2. P(-1)
3. P(1)
4. P(2)
5. โxP(x)
6. โxP(x)
PROPOSITIONAL LOGIC:
A. Let p, q and r denotes the following statements:
p: A square has four equal side
q: Rectangle has 2 parallel sides
r: A square is a rectangle.
1. Express each of the following into English sentence.
a. r ^ q โ p
b. pฬ โ q
c. q ๏โ pฬ v r
2. Write T if the above item is true and F if it false. Show solution. (3 pts
each)
a.
b.
c
B. Show whether or not p โ q โก (p โ q) ^ (q โ p)
C. Find the converse, inverse and contrapositive of the implication: โIf today is
Monday then, I have an exam today.โ (3 pts each)
1. Inverse:
2. Converse:
3. Contrapositive:ย
What is the symbolic form of the statement, โNo one in this class is wearing pants and a guitaristโ if the domain of x is persons in this class, A(x): x is wearing pants and B(x): x is a guitarist?ย
RULE OF INFERENCE:
Determine if the following argument is valid. Explain by using rule of
inference. (5 pts each)
1. If you perform every programming problem in the module, then you
will learn programming. You learned programming. Therefore, you
perform every programming problem in the module.
2. Not everyone likes to go to the hospital; hence, there is someone
who does not like to go to the hospital