11
$\begingroup$

I am trying to translate an English sentence into propositional logic.

"To limit the loss of our company, not only the economical and statistical researches are necessary, but also a change in our spending patterns."

L: Limiting the loss of our company

E: Economical researches

S: Statistical researches

C: Change in our spending patterns

$ (E \land S \land C ) \Rightarrow L$

I think that this conveys the meaning that we need to do all 3 to be able to limit the loss, but I am not sure it conveys the meaning that only E and S won't be enough. Do I have to find a way to include them into the formula, and if so how could I do that?

$\endgroup$
20
$\begingroup$

It is in fact the other way around. If you want to say "$\psi$ is necessary for $\varphi$", then this translates to $\varphi \rightarrow \psi$ (see https://en.wikipedia.org/wiki/Necessity_and_sufficiency for the distinction between the terms "necessary" and "sufficient"). This means that your answer is almost correct, but you need to change the order of implication: $$L\rightarrow (E \land S \land C)$$

Edit: One way to see it in this example is to use the following interpretation of implication: $\varphi \rightarrow \psi$ means that "either $\varphi$ does not hold or $\psi$ holds". In your example, this translates to the following:

"Either we do not limit the loss of our company, or we perform economical and statistical researches, and change our spending patterns."

This is equivalent to the English sentence you started with because "not only but also" is equivalent to "and".

| cite | improve this answer | |
$\endgroup$
10
$\begingroup$

Technically, "for $A$ it is necessary that $B$" means $A\implies B$ and not $B\implies A$. So $(E\land S\land C)\implies L$ conveys the meaning that if $E,S,C$ are all true, then $L$ is true, but not that for $L$ to be true, then $E,S,C$ must all be true. So the proper translation should be $L\implies (E\land S\land C)$.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks for your answer. But what about the second part of my question. How could I convey the meaning that "not only S and E but also C is necessary"? $\endgroup$ – arthionne Oct 26 '19 at 12:16
  • 3
    $\begingroup$ @arthionne The English language aas many ways to express the same, e.g. "S together with E as well as C" would also mean the same thing - klogically. The only difference with "not only but also" is merely emphasis, i.e., the formulation suggests that we perhaps already know that S and E are necessary whereas we are surprised by or emphatically hinted to the fact that C is necessary $\endgroup$ – Hagen von Eitzen Oct 27 '19 at 21:41
  • $\begingroup$ Is it (E∧S∧C)⟹L or L⟹(E∧S∧C)? The biggest stumbling block between me and logic appears to be language. I can translate the OP's sentence into something that gets rid of the "not only but also", but both of you lots of points, but do not appear to agree on the answer. My thought is that the sequence of the English sentence should not change the logical sentence. $\endgroup$ – user756686 Mar 14 at 1:22
6
$\begingroup$

Things you can say include:

  1. $(E \land S \land C) \implies L$: if we do all three things, then we will limit the losses.
  2. $L \implies (E \land S \land C)$: to limit the losses, we need to do all three things.
  3. $L \implies C$: to limit the losses, we need change.
  4. $(E \land S \land \neg C) \implies \neg L$: if we do the first two things but not the third, we will definitely not limit the losses.

It depends on what you want to say. My personal interpretation is "$1 \land 3$", but I can see how some people might read your statement as "$1 \land 2$"; a pessimist might exclude $1$.

There's some relationships between these. Statement 1 stands on its own as the only one that guarantees that it's possible to limit the losses: the others are consistent with the possibility that no matter what you do, losses will just happen. You may or may not want to include this (but it's probably not all of what you mean, either way).

Statements 2, 3, and 4 are in order of decreasing strength (and statement 2 implies 3, which implies 4). Statement 2 says that there's only one way to limit losses: do all three things. Statement 3 merely says that we need $C$ to limit losses, and you're not making claims about $E$ and $S$. (But in particular, $E$ and $S$ alone are not enough.)

Finally, statement 4 is a bit weird: it says that in the case where you do both kinds of research, but make no change, we will definitely not limit losses, but it doesn't say anything about what happens when $E$ or $S$ is false. (For example, maybe statistical research is counterproductive: just $E$ on its own would be enough to get $L$, but with $E$ and $S$ together, you also need $C$.)

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.