Discrete Math DEPT Flashcards
(151 cards)
According to the text, logic is primarily the science of:
a) Mathematical calculations
b) Correct reasoning
c) Philosophical debate
d) Computer hardware
Correct reasoning
What is the main goal in the course, as stated in the introduction to logic?
a) To write complex computer programs
b) To solve algebraic equations
c) To translate languages to symbols
d) To memorize historical facts
To solve algebraic equations
A declarative statement that is either true or false, but not both, is called a:
a) Question
b) Command
c) Proposition
d) Variable
Proposition
Which of the following is a proposition according to the text’s examples?
a) Run!
b) Enjoy the lovely weather.
c) 3 + 4 = 9
d) Louis bought me two tickets of “Mission Impossible 5”.
3 + 4 = 9
Why is “Run!” NOT a proposition?
a) It is too short.
b) It expresses an emotion.
c) It is a command and cannot be true or false.
d) It depends on who is speaking.
It is a command and cannot be true or false.
What is the term for combining propositions using logical connectives?
a) Simple propositions
b) Compound propositions
c) Declarative statements
d) Truth values
Compound propositions
The symbol “˄” represents which logical connective?
a) Disjunction
b) Negation
c) Conjunction
d) Conditional
Conjunction
The symbol “∨” represents which logical connective?
a) Disjunction
b) Negation
c) Conjunction
d) Biconditional
Disjunction
The symbol “~” (or “¬”) typically represents:
a) Conjunction
b) Negation
c) Implication
d) Equivalence
Negation
If ‘p’ is a proposition, “~p” is its:
a) Converse
b) Inverse
c) Negation
d) Contrapositive
Negation
The number of rows required in a truth table depends on the number of propositions and can be computed using the formula:
a) n + 2
b) n^2
c) 2n
d) 2^n
2^n
In a conditional proposition “if p then q” (p ⟶ q), ‘p’ is called the:
a) Conclusion
b) Consequent
c) Hypothesis
d) Connective
Hypothesis
In a conditional proposition “if p then q” (p ⟶ q), ‘q’ is called the:
a) Hypothesis
b) Antecedent
c) Premise
d) Conclusion
Conclusion
Given a conditional statement “if p then q”, what is its converse?
a) if not p then not q
b) if not q then not p
c) if q then p
d) p if and only if q
if q then p
Given a conditional statement “if p then q”, what is its inverse?
a) if not p then not q
b) if not q then not p
c) if q then p
d) p and q
if not p then not q
Given a conditional statement “if p then q”, what is its contrapositive?
a) if not p then not q
b) if not q then not p
c) if q then p
d) p or q
if not q then not p
The compound proposition “p if and only if q” is called a:
a) Conditional proposition
b) Biconditional proposition
c) Conjunction
d) Disjunction
Biconditional proposition
The symbol “⟷” represents which type of proposition?
a) Conditional
b) Negation
c) Biconditional
d) Disjunction
Biconditional
An alternative way to state “p if and only if q” is:
a) p is necessary for q
b) p is sufficient for q
c) p is a necessary and sufficient condition for q
d) if p then q, and if not p then not q
p is a necessary and sufficient condition for q
A compound statement that is true for all possible combinations of the truth values of its propositional variables is a:
a) Contradiction
b) Contingency
c) Tautology
d) Proposition
Tautology
A compound statement that is false for all possible combinations of the truth values of its propositional variables is a:
a) Contradiction
b) Contingency
c) Tautology
d) Hypothesis
Contradiction
A compound statement that can either be true or false, depending on the truth values of the propositional variables, is a:
a) Contradiction
b) Contingency
c) Tautology
d) Conclusion
Contingency
Logic gates are constructed using figures that correspond to:
a) Mathematical theorems
b) Compound propositions and connectives
c) Historical events in logic
d) Computer programming languages
Compound propositions and connectives
A syntactical transform rule used to infer a conclusion from a premise to create an argument is a:
a) Truth table
b) Logical connective
c) Rule of inference
d) Propositional variable
Rule of inference