[go: up one dir, main page]
Scribd
Upload
174 views2 pages

Logic Midterm

This document contains a midterm exam on logic and set theory for a student. The exam has four sections: 1) multiple choice, 2) true/false, 3) identification, and 4) enumeration. The multiple choice section contains 10 questions testing concepts like logical rules, symbols, and logical forms. The true/false section has 5 statements to classify. The identification section requires matching 10 logical concepts to their definitions. Finally, the enumeration section asks the student to list examples of tautologies, double negation, and 5 logical symbols.

Uploaded by

Neperare Leones
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
174 views2 pages

Logic Midterm

This document contains a midterm exam on logic and set theory for a student. The exam has four sections: 1) multiple choice, 2) true/false, 3) identification, and 4) enumeration. The multiple choice section contains 10 questions testing concepts like logical rules, symbols, and logical forms. The true/false section has 5 statements to classify. The identification section requires matching 10 logical concepts to their definitions. Finally, the enumeration section asks the student to list examples of tautologies, double negation, and 5 logical symbols.

Uploaded by

Neperare Leones
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Lyceum of Cebu, Inc.

Barili Campus
Poblacion, Barili, Cebu
Website: www.lyceumofcebu.edu.ph
Email: lyceumbarilicebu@gmail.com; Contact No.: (032) 406-6050

LOGIC AND SET THEORY


MIDTERM EXAMINATION
NAME: DATE:
PROGRAM: SCORE:

TEST I: MULTIPLE CHOICE


Direction: Choose the RIGHT answer for the following questions. Encircle the letter of
the correct answer.
1. It is another term of Modus Ponens. It is an affirming statement that assures all of the
outcome will become True.
A. Direct Reasoning C. Addition
B. Indirect Reasoning D. Simplification
2. It is another term of Modus Tollens. It is a tautological implication that denies the
statement but the outcome is True.
A. Direct Reasoning C. Addition
B. Indirect Reasoning D. Simplification
3. It is a tautological implication that simplify or generalized the statement.
A. Direct Reasoning C. Addition
B. Indirect Reasoning D. Simplification
4. It has a form where A and B are (possibly compound) statement that are logically
equivalent.
A. Tautological Implication C. Tautological Equivalences
B. Tautological Rules D. Tautology
5. What is the symbol of Negation?
A. -----> C. ~
B. <----> D. v
6. What is the symbol of Disjunction(or)?
A. -----> C. ~
B. <----> D. v
7. What is the symbol of Biconditional (if and only if……)?
A. -----> C. ~
B. <----> D. v
8. What is the symbol of Implication or (If,,,,,,, then,,,,,,)?
A. -----> C. ~
B. <----> D. v
9. ___________ is a statement that is true in every valuation of its propositional
variables, independent of the truth values assigned to these variables.
A. Tautological Implication C. Tautological Equivalences
B. Tautological Rules D. Tautology
10. __________ is an assertion of Propositional Logic that is false in all situations; that is,
it is false for all possible values of its variables.
A. Tautology C. Negation
B. Implication D. Contradiction
TEST II: TRUE OR FALSE
Direction: Write TRUE if the statement is true then write FALSE if the statement is false.

_____________1. Bias is a disadvantage of theory which can affect the development


and interpretation of the theory.
_____________2. Prediction is a disadvantage of theory that predicts the future
outcomes or behavior based on the identified causes and mechanism.
_____________3. Limited scope is an advantage of theory.
_____________4. Incomplete Understanding is an advantage of theory they are based
on limited research and knowledge.
_____________5. Framework of Research is an advantage of theory which provide a
framework for research by guiding the development of hypotheses and research
questions.

TEST III: IDENTIFICATION


Direction: Choose the correct answer from the box. Write it on the line before each
number.
De Morgan’s Theorems Tautology
Association Exportation
Commutation Material Equivalence
Distribution Material Implication
Double Negation Transposition

_______________1. Are pair of transformation rules that are both valid inference. The
rules allow the expression of conjunction and disjunction purely in terms of each other
via negation.
_______________2. Permits modification of the parenthetical grouping of certain
statements.
_______________3.Is a valid rule of replacement that permits one to switch the
antecedent with the consequent of a conditional statement in a logical proof if they are
both negated.
_______________4. Is a valid rule of replacement that allows for a conditional
statement to be replaced by a disjunction if and only if the antecedent is negated.
_______________5. Shows that statements of certain forms can simply be reversed.
_______________6. (p/q)[(p--->q)^(q--->p)] what rule of replacement is this logical
problem shows
_______________7. Exhibits the systematic features of statement in which both
disjunctions and conjunctions appear
_______________8. Is a rule of replacement of a form: [(p^q)--->r)=(p--->(q--->r)]
_______________9. Is a theorem that states that “If a statement is true, then it is not
the case that the statement is not true”.
_______________10. is a statement that is true in every valuation of its propositional
variables, independent of the truth values assigned to these variables.
TEST IV: ENUMERATION
1. Give 2 example of tautology.
2. Give 1 example of double negation.
3. Enumerate 5 logical symbols.

You might also like