1
$\begingroup$

Here is what I finished with, although the problem states that it is a tautology and not a contingency.

$$For :(A \lor B) \land (A \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$$

$W(A/true)$ $ = (True \lor B) \land (True \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$ --- First condition
$\equiv True \land (True \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$ ~~~~~~ $True \lor B \equiv True$
$\equiv True \land (C) \lor (B \rightarrow D) \rightarrow (C \lor D)$ ~~~~~~ $True \rightarrow C \equiv C$
$\equiv C \lor (B \rightarrow D) \rightarrow (C \lor D)$ ~~~~~~ $True \land C \equiv C$

$X1(D/True) $ $\equiv C \lor (B \rightarrow True) \rightarrow (C \lor True)$ ~~~~~~ First condition
$\equiv C \lor (B \rightarrow True) \rightarrow True$ ~~~~~~ $C \lor True \equiv True$
$\equiv C \lor True \rightarrow True$ ~~~~~~ $B \rightarrow True \equiv True$
$\equiv True \rightarrow True$ ~~~~~~ $C \lor True \equiv True$
$\equiv True$ ~~~~~~ $True \rightarrow True \equiv True$

$X1(D/False) $ $ \equiv C \lor (B \rightarrow False) \rightarrow (C \lor False)$ ~~~ ~~~ First condition
$\equiv C \lor B \rightarrow (C \lor False)$~~~~~~$ B \rightarrow False \equiv \neg B$
$\equiv C \lor B \rightarrow C$~~~~~~$ C \lor False \equiv C$
$\equiv C \rightarrow C$~~~~~~$ C \lor B \rightarrow C \equiv C \rightarrow C$
$\equiv True$~~~~~~$ C \rightarrow C \equiv True$

$W(A/False)$ $= (False \lor B) \land (False \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$ ~~~ First condition
$\equiv B \land (False \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$~~~~~~$ False \lor B \equiv B$
$\equiv B \land True \lor (B \rightarrow D) \rightarrow (C \lor D)$~~~~~~$ False \rightarrow C \equiv True$
$\equiv B \lor (B \rightarrow D) \rightarrow (C \lor D)$~~~~~~$ B \land True \equiv B$

$X2(D/True) $ $ = B \lor (B \rightarrow True) \rightarrow (C \lor True)$ ~~~ ~~~ First Condition
$\equiv B \lor True \rightarrow (C \lor True)$~~~~~~$ B \rightarrow True \equiv True$
$\equiv (B \lor True) \rightarrow True$~~~~~~$ C \lor True \equiv True$
$\equiv True \rightarrow True$~~~~~~$ B \lor True \equiv True$
$\equiv True$ Because $True \rightarrow True \equiv True$

$X2(D/False) $ $= B \lor (B \rightarrow False) \rightarrow (C \lor False)$ ~~~ ~~~ First Condition
$\equiv B \lor (\neg B) \rightarrow (C \lor False)$~~~~~~$ B \rightarrow False \equiv \neg B$
$\equiv True \rightarrow (C \lor False)$~~~~~~$ B \lor (\neg B) \equiv True$
$\equiv True \rightarrow C$~~~~~~$ C \lor False \equiv C$
$\equiv C$~~~~~~$ True \rightarrow C \equiv C$
Contingency!?

It is supposed to come out as a tautology. I'm using Quine's method of substitution.
Edit: cleaned up

  • 2
    The priority of operators in your formula is not clear: Do you mean $((A \vee B) \wedge ((A \to C)\vee(B \to D))) \to (C \vee D)$?2012-04-18
  • 0
    Also $\rightarrow$ is to mean the implication i guess? ($\Rightarrow$) and $\sim\sim\sim$ is.... just a placeholder? ($a\quad\quad\quad b$)2012-04-18
  • 0
    By the way, that formula is not a tautology: witness the assignment $A = D = 0, B = 1$. Then the resulting formula is $((0 \vee 1) \wedge ((0 \to C) \vee (1 \to 0))) \to (C \vee 0) \equiv (\neg C \to C)$, which is obviously not a tautology. Edit: It is, on the other hand, satisfiable using $C = 1$.2012-04-18
  • 0
    Thanks Johannes, so it was a contingency after all! And yes, ~~~~~~ was a placeholder since I didn't know how to put it in a nice, separated format. As for the priority, that's exactly how the problem is formatted, and I just followed the order of operations, did I miss something?2012-04-18
  • 3
    @CornSmith: The priority of operations should have been defined in the book you are reading or class you are attending. Since I have seen several different contradictory standards, I would rather know which order you are using before making statements. About your calculation: You seem to be treating $\vee$ and $\wedge$ as having the same priority, which is usually not the case. Hence, your fourth calculation step (last step for W(A/true)) is incorrect; I haven't checked any further so far.2012-04-18
  • 0
    I see, yes according to the book $\land$ is done before $\lor$ which is done before $\to$. However, I can't find where in the 4th line I mixed up the order, could you elaborate?2012-04-18
  • 0
    Stating the problem number and page, as well as the title of the book might help in the case that someone else has it lying around nearby. As Johannes Kloos indicates, we can't exactly tell what the abbreviation means in terms of a well-formed formula (or statement form, or whatever term Quine uses for this idea). I personally suspect that the problem should have a "^" instead of a "V" between (a->c) and (b->d), even if Quine made a typographical error here, that is (((A∨B)∧((A→C)∧(B→D)))→(C∨D)).2012-04-22
  • 0
    @CornSmith With the order as ∧, ∨, →, the intended formula is not a tautology. Let B come as true, with A, C, and D as false. Then in that case the intended formula comes out false, and since at least one other case the intended formula comes out true, it qualifies as contingent.2012-04-23

1 Answers 1