Definition:Provable Consequence/Also defined as

Provable Consequence: Also defined as

While this definition of provable consequence is adequate for most proof systems, it is more natural for some of them to define provable consequence in a different way.

For example, the tableau proof system based on propositional tableaus.