Waste less time on Facebook — follow Brilliant.

Proving a sequent

How to prove the following using the inference rules of propositional logic?

The rules which are allowed to use are

Note by Abhimanyu Swami
3 months, 1 week ago

No vote yet
1 vote


There are no comments in this discussion.


Problem Loading...

Note Loading...

Set Loading...