@DenpaEnthusiast's banner p

DenpaEnthusiast


				

				

				
0 followers   follows 0 users  
joined 2022 September 04 20:01:58 UTC

				

User ID: 131

DenpaEnthusiast


				
				
				

				
0 followers   follows 0 users   joined 2022 September 04 20:01:58 UTC

					

No bio...


					

User ID: 131

My college course on formal logic used Language, Proof and Logic, which I liked. The physical version came with software that would check your proofs, so you could write things like

  1. A
  2. A->B
  3. Modus Ponens on steps 1 and 2

And it would automatically fill in step 3 with B, which was a nice way of constructing my proofs so they were actually correct.

What I meant for option 2 was pay it back yourself instead of getting the money from the customer. While it is true that banks will pay overdrafts initially, the customer is still ultimately on the hook for the money. The bank doesn't say "we paid that for you, don't worry about it". They say "we paid that for you as a loan, now you need to give us the money we sent". Which is option 3.