Compound proposition from Alice in Wonderland

102 Views Asked by At

I am analyzing the following section from Alice in wonderland: If it makes me grow larger, I can reach the key; and if it makes me grow smaller, I can creep under the door; so either way I'll get into the garden, and I don't care which happens!.

I define the following propositional variables: $\\$

L= makes me grow larger

K= reach the key

S= makes me grow smaller

D= creep under the door

G= get into the garden

My task is to detemrine the compound propustition. I have done it this way:

$((L \rightarrow K) \mathrm{V} (S \rightarrow D)) \rightarrow G$

Does that look right ?

1

There are 1 best solutions below

4
On

No: in order for Alice to get into the garden it needs to be both true that being larger she can get the key, and that being smaller she can creep under the door. So:

$((L \rightarrow K) \color{red}\land (S \rightarrow D)) \rightarrow G$

I think you're trying to use the $\lor$ because you're thinking of:

$(K \lor D) \rightarrow G$

which, given $L \rightarrow K$ and $S \rightarrow D$, would mean that:

$(L \lor S) \rightarrow G$

In fact, to make that inference you could also use that:

$(L \lor S) \rightarrow (K \lor D)$

And all of those constructions are compatible with Alice's reasoning.

To further see and understand the confusion you have, please note that:

$(K \lor D) \rightarrow G \Leftrightarrow (K \rightarrow G) \land (D \rightarrow G)$

So yes, it's easy to confuse the use of the $\lor$ with the $\land$ in these kinds of constructions!

Finally, though, I would make all this into an argument, rather than a single statement. That way, you can make some of the implicit assumptions in her reasoning explicit, such that she will get either smaller or larger, and that she can get into the garden with the key or by creeping under the door.

$L \lor S$

$L \rightarrow K$

$S \rightarrow D$

$K \rightarrow G$

$D \rightarrow G$

$\therefore G$

Or maybe:

$L \rightarrow K$

$S \rightarrow D$

$K \rightarrow G$

$D \rightarrow G$

$\therefore (L \lor S) \rightarrow G$