Which sequent is being tested for validity in this table?
~Q, (P↔Q) ⊧ ~P
Is the sequent valid according to this table?
Yes.
Reuse
Reuse this content.
Embed
View the embed code for this content.
Visit H5P.org to check out more cool content.