Question: Teachers in the Middle Ages supposedly tested the real-time propositional logic ability of a student via a technique known as an obligato game. In an

 Teachers in the Middle Ages supposedly tested the real-time propositional logic

Teachers in the Middle Ages supposedly tested the real-time propositional logic ability of a student via a technique known as an obligato game. In an obligato game, a number of rounds is set and in each round the teacher gives the student successive assertions that the student must either accept or reject as they are given. When the student accepts an assertion, it is added as a commitment; when the student rejects an assertion its negation is added as a commitment. The student passes the test if the consistency of all commitments is maintained throughout the test. For example, in a two-round obligato game, where the teacher givers the proposition p Lambda q and then the proposition p V q: If the student's sequence of answers is ACCEPT, ACCEPT then the commitments are that p A Lambda q (is true) and p V q (is true). These two statements are consistent (there is some truth assignment to the variables p and q that makes both statements true) so the student passes. If the student's sequence of answers is ACCEPT, REJECT then the commitments are that p Lambda q is true and that not (p V q) is true. However, these statements are inconsistent (the first requires both p and q to be T whereas the second requires both of them to be F). In this case, the student fails the test. Suppose that in a three-round obligato game, the teacher first gives the student the proposition p rightarrow q, then the proposition not (p V r) V q, and finally the proposition q. For which of the eight possible sequences of three answers will the student pass the test? Briefly justify your answer for each sequence

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!