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
7 months, 4 weeks ago

No vote yet
1 vote


There are no comments in this discussion.


Problem Loading...

Note Loading...

Set Loading...