Purchase Solution

Predicate logic

Not what you're looking for?

Ask Custom Question

PREDICATE LOGIC

Note: For your convenience the truth tables are included. You may not need to use all of the columns in the skeleton tables.

1. Use modus ponens or modus tollens to fill in the blanks in the arguments so as to produce a valid inference.

If this polygon is a triangle, then the sum of its interior angles is 180.
The sum of the interior angles of this polygon is not 180.
 ______________________________________
Form: modus__________

Use truth table to determine whether the argument forms in 2 and 3 are valid.
2. p  q
p  r
p  q  r

p Q r
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F

Final answer and explanation: _________________________
3. p  ~q  r
p  q
q  p
r

p Q R
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F

Final answer and explanation: _________________________

4. Use symbols to write the logical form for the following exercise, and then use the truth table to test the argument for validity.

Oleg is a math major or Oleg is an economics major.
If Oleg is a math major, then Oleg is required to take a Math 362.
Oleg is an economics major or Oleg is not required to take a Math 362.

p: _________________________
q: _________________________
r: _________________________

Argument in symbolic form:
_________________________
_________________________
 _________________________

p q r
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F

Final answer and explanation: _________________________
5. Use symbols to write the logical form of the following argument. If the argument is valid, identify the rule of inference that guarantees its validity. Otherwise state whether the converse or inverse error is made.

If this computer program is correct, then it produces the correct output when run with the test data my teacher gave me.
This computer program produces the correct output when run with the test data my teacher gave me.
This computer program is correct.
p: _________________________________________________
q: _________________________________________________
Possible argument forms are (choose the appropriate one):
p  q
p
 q

p  q
~q
 ~p

p  q
q
 p

p  q
~p
 ~q

Argument form: (copy and paste the appropriate form listed above)

Valid or invalid? _____________________________________________

Argument type? ______________________________________________
(choose modus ponens, modus tollens, inverse error, or converse error)

Attachments
Purchase this Solution
Solution Summary

This posting explains in detail how to show a argument is valid or invalid by the use of truth tables.

Solution Preview

PREDICATE LOGIC

Note: For your convenience the truth tables are included. You may not need to use all of the columns in the skeleton tables.

1. Use modus ponens or modus tollens to fill in the blanks in the arguments so as to produce a valid inference.

If this polygon is a triangle, then the sum of its interior angles is 180.
The sum of the interior angles of this polygon is not 180.
 _This polygon is not a triangle______
Form: modus__tollens____

Use truth table to determine whether the argument forms in 2 and 3 are valid.
2. p  q
p  r
p  q  r

p Q r q  r p  q p  r p  q  r
T T T T T T T
T T F F T F F
T F T F F T F
T F F F F F F
F T T T T T T
F T F F T T T
F F T F T T T
F F F F T T T

Final answer and explanation: The rows in which ...

Solution provided by:
Sandhya Sharma, MSc
Education
  • BSc, Meerut University
  • MSc, Meerut University
  • MPhil, Institute of Advanced Studies
  • MSc, AIT
Recent Feedback
  • "Perfect, thank you so much!!! I will definitely request you in the future! You are amazing!"
  • "Thank you. "
  • "Thank you so much I have two more that I need your help with if your available."
  • "Thank you, I was wondering why you rejected me the first time."
  • "Thanks again."
Purchase this Solution
Free BrainMass Quizzes
Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Probability Quiz

Some questions on probability

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

View More Free Quizzes
Related BrainMass Solutions

  • Symbolic Logic : Predicate Logic

    11519 Symbolic Logic : Predicate Logic The asterisk implies a conditional usually indicated by an arrow. The & sign indicates "and". In Aristotelian logic (X)(FX*GX) logically implies (EX)(FX & GX). Is this true in predicate logic?

  • Symbolic Logic : Predicate Logic

    A statement in predicate logic is provn to be untrue.

  • Explanation of traditional/Aristotelian Logic

    386601 Explanation of traditional/Aristotelian Logic Explanation of traditional or Aristotelian Logic and categorical Statements Traditional or Aristotelian Logic: Focused only on CATEGORICAL STATEMENTS because it thought all deduction could be analyzed

  • Four predicate logic proofs

    79871 Predicate Logic Proofs I am looking for help with Predicate and Quantitative Logic.

  • Translation of Math Symbols to English, Logic, Predicate Logic and Simplification

    35714 Math Symbols, Logic, Predicate Logic and Simplification Question 1. Translate each of the following statements into the notation of logic and predicate logic and simplify the negations of all. Which statements do you think are true?

  • Symbolic Logic Problem : Proof

    11566 Symbolic Logic Problem : Proof Construct a formal proof which shows that the sentence below is a theorem of predicate logic. *the E's are existential quantifiers (usually designated by backwards E's). the & are "and".

  • Translation of Sentences into Symbolic Predicate Logic

    We translate various quantified sentences into symbolic predicate logic and form their negations.

  • Symbolizing Arguments and Arguments to Standard Form

    The terms "symbolizing arguments and arguments to standard form" are part of categorical logic, which is also referred to as Aristotelian, and syllogistic logic. It is a form of deductive logic (as opposed to inductive logic).

  • Syllogisms: Major, Minor and Middle Term

    Figure-wise, the middle term is the subject in the first premise/first figure and in the second premise/2nd figure, it is the predicate.

  • Categorical Propositions in Logic (Part 3)

    642293 Categorical Propositions in Logic (Part 3) Categorical Propositions have four basic forms. One of those is the "A-proposition." What exactly is an "A-proposition"? How does it usually look? What does it achieve?

View More Related Solutions