Logic, a definition

[Kriminal99]

When I speak of logic, I only mean one of two things... the only 2 ways I believe the mind is capable of reasoning:

A is likely to occur because A has occured a majority of the times in the past.

or

B is at least as true as A because B is part of A and therefore necessarily implied by A.

If reversing a computer action in 99% of someone's experience means to undo everything that occured during the computer action.

and if

a bank system reverses a transaction(A), and a hold on funds(B) is part of a transaction, then a person should be 99% sure that the hold on funds should be released.

Therefore a system which purports to reverse a transaction yet leaves any holds on funds communicates poorly.

Edit:

These are the same as inductive and deductive reasoning mentioned by other posters. I believe the assumptions for deductive reasoning come from inductive reasoning though as my model shows.

[TheFaithfulStone]

Sounds like personal experience.

TFS