Tag: logical consequences

Deductively Equivalent Theories

Two theories are deductively equivalent if they can prove the exact same…

Bossmind