Mathematical Logic Exercises and Truth Tables
Translated by
ScribdTranslationsMathematical Logic Exercises and Truth Tables
Translated by
ScribdTranslations1
NORTHERN UNIVERSITY
First partial of mathematical logic.
Name Date
1. Symbolize the given propositions with simple propositions:
(P∧Q)→R: If María has a car and is married, then she will take
her husband to work.
Maria has a car.
Maria is married.
Maria will take her husband to work.
If María eats or sleeps at one in the afternoon,
will have problems with your transportation.
Maria eats at one in the afternoon.
Maria sleeps at one in the afternoon.
Maria will have problems with her transportation.
2. Select T or F if the statement is true or false respectively.
a) A conditional will be true when the consequent is true.
V[ x] F[ ]
b) The following proposition is a negation: It is not true that if today
It's Friday, I have logic class.
c) how and I sleep is a conjunction. V [x ] F[ ]
d) Today, María goes to the cinema or to the supermarket is an exclusive disjunction.
V [ ] F[ x]
e) Today is not Friday is a simple proposition. V [ ] F [x]
3. Make the truth table and identify if the expression is a tautology or a fallacy.
or contingency.
((Q or R) implies (not Q and R))
Q and not Q, Q or R and not Q and R, ((Q or R) implies (not Q and R))
V V F V F F
VF F V F F
F VV V V V
F F V F F V
4. Assign values to the propositional letters, in such a way that the expression
result false.
((P∨R)→(P∧R))
P true, R false or also P false and R true.
2
5. Dada la Proposicio´n ((P→Q)→(R∨ ¬Q)), responda las siguientes
questions:
a) How many distinct letters does the proposition have? 3
b) How many levels does your truth table have? 8
c) What is the antecedent of that formula? P→Q
d) What is the consequent of the formula? R ∨ ¬Q
3
UNIVERSITY OF THE NORTH
First partial of mathematical logic.
Name Date
1. Symbolize with simple propositions.
a) P∧(Q→R): María has a car and if she is married, then she will take them.
her husband to work. P: María has a car.
Maria is married.
Maria will take her husband to work.
(P∧Q)→R: If the jurors do not fear the accuser, but this
talk to them, then the judge must review the ruling. Q: The
Jurors are not afraid of the accuser.
The accuser talks with the jurors.
R: The judge must review the ruling.
2. Select T for True or F for False if the statement is true or false respectively.
a) A conditional is false when the consequent is false. V[
] F[x ]
b) You will not go to the movies, but you will go to the supermarket is a conjunction V [ x] F [
]
c) how I sleep is an exclusive disjunction. V [ x] F[ ]
Contracts are received on Mondays or Fridays has a logical connective.
V [x ] F[ ]
e) A proposition can have three logical connectives. V [x] F[ ]
3. Make the truth table and identify if the expression is a tautology or a fallacy.
the contingency..
If not Q or R, then Q and R.
Q R¬Q¬Q ∨R Q ∧ R((¬Q∨R)→(Q∧R))
V V F V V V
V F F F F V
F VV V F F
F F V V F F
4. Assign values to the propositional letters, in such a way that the expression
result false.
((¬P∨(Q∧R))→(P∨Q))
P false, Q false and R true or false.
5. Given the Proposition (P∧Q)→(Q→R), answer the following pre-
questions:
4
a) How many distinct letters does the proposition have? 3
b) How many levels does your truth table have? 8
c) What is the antecedent of that formula? P∧Q
d) What is the consequent of the formula? nQ→R