I have these sentences and I have obtained these atoms and solution:
1.- When there is public spending, if the citizens are not satisfied, the banks do not give credits
2.- For there to be public spending, it is necessary for banks to give credits or for companies to earn money
3.- Banks give credits when companies make money, provided citizens are satisfied
4.- So only when there is public spending and citizens are satisfied, companies make money
C: citizens are satisfied B: banks give credits E: companies make money Q: there is public spending
My solution:
Proof 1: P→(¬B→¬C)
Proof 2: (B∨E)→P
Proof 3: (E→B)→C
Conclusion: (P∧C)→E
Another approach:
Proof 1: (¬C ∧ ¬B) → P
Proof 2: (B∨E) → P
Proof 3: C → (E → B)
Conclusion: (¬P∧¬C) → ¬E
Why are the premises wrong? I interpret it this way, following the idea of condition and conditioning.
I found the solution:
Thanks to everyone who paid attention