Three-valued logic: computational problems 1. In a trivalent interpretation in which every sentence letter is #, what is the Łukasiewicz-value of the formula (P ^Q) → (R ^ S)? What is its Kleene-value? What is its supervaluational truth value? 2. Write out the complete three-valued Łukasiewicz truth-table for the formula (PQ)V(P →~Q). Then write out the complete three-valued Kleene truth-table for that same formula. (These tables should each have nine rows, since there are nine possible combinations of 1, 0, and # for the two sentence letters P and Q. 3. Is the formula P · →>> (PVQ) valid in…… (a)...Łukasiewicz's system? (b) ...Kleene's? (c) ...the logic of paradox? (d) ……the system of supervaluations? In each case, justify your answer: if the answer is yes, give a metalogic proof; if the answer is no, give a counterexample. 4. Do the formulas P and P Q in... →>> Qtogether semantically imply the formula (a) ...Łukasiewicz's system? (b) ... Kleene's? (c) ...the logic of paradox? (d) ...the system of supervaluations? Again, justify your answer in each case.

Algebra for College Students
10th Edition
ISBN:9781285195780
Author:Jerome E. Kaufmann, Karen L. Schwitters
Publisher:Jerome E. Kaufmann, Karen L. Schwitters
Chapter2: Equations, Inequalities, And Problem Solving
Section2.6: More On Inequalities And Problem Solving
Problem 68PS
icon
Related questions
Question
Three-valued logic: computational problems
1. In a trivalent interpretation in which every sentence letter is #, what is
the Łukasiewicz-value of the formula (P ^Q) → (R ^ S)? What is its
Kleene-value? What is its supervaluational truth value?
2. Write out the complete three-valued Łukasiewicz truth-table for the
formula (PQ)V(P →~Q). Then write out the complete three-valued
Kleene truth-table for that same formula. (These tables should each have
nine rows, since there are nine possible combinations of 1, 0, and # for
the two sentence letters P and Q.
3. Is the formula P · →>> (PVQ) valid in……
(a)...Łukasiewicz's system?
(b)
...Kleene's?
(c) ...the logic of paradox?
(d) ……the system of supervaluations?
In each case, justify your answer: if the answer is yes, give a metalogic proof; if
the answer is no, give a counterexample.
4. Do the formulas P and P
Q in...
→>> Qtogether semantically imply the formula
(a) ...Łukasiewicz's system?
(b) ... Kleene's?
(c) ...the logic of paradox?
(d) ...the system of supervaluations?
Again, justify your answer in each case.
Transcribed Image Text:Three-valued logic: computational problems 1. In a trivalent interpretation in which every sentence letter is #, what is the Łukasiewicz-value of the formula (P ^Q) → (R ^ S)? What is its Kleene-value? What is its supervaluational truth value? 2. Write out the complete three-valued Łukasiewicz truth-table for the formula (PQ)V(P →~Q). Then write out the complete three-valued Kleene truth-table for that same formula. (These tables should each have nine rows, since there are nine possible combinations of 1, 0, and # for the two sentence letters P and Q. 3. Is the formula P · →>> (PVQ) valid in…… (a)...Łukasiewicz's system? (b) ...Kleene's? (c) ...the logic of paradox? (d) ……the system of supervaluations? In each case, justify your answer: if the answer is yes, give a metalogic proof; if the answer is no, give a counterexample. 4. Do the formulas P and P Q in... →>> Qtogether semantically imply the formula (a) ...Łukasiewicz's system? (b) ... Kleene's? (c) ...the logic of paradox? (d) ...the system of supervaluations? Again, justify your answer in each case.
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Algebra for College Students
Algebra for College Students
Algebra
ISBN:
9781285195780
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
Intermediate Algebra
Intermediate Algebra
Algebra
ISBN:
9781285195728
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning