How to formalize these proofs and conclusion?

47 Views Asked by At

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.

1

There are 1 best solutions below

0
On BEST ANSWER

I found the solution:

Proof 1: P→(¬C→¬C)
Proof 2: (B∨E)→P
Proof 3: (E→B)→C
Conclusion: (P∧C)→E

Thanks to everyone who paid attention