0
$\begingroup$

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?

$\endgroup$

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.