On my university exam paper there was a problem which description was the following:

Prove the following assertion: $a⊢b$ if and only if $a⇒b$ is a tautology.

How can I prove it?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.