~w | Λ | }V | yn |
’²Jw | Λ | }V | yn |
¬Ew | Λ | }V | yn |
~w | Λ | }V | yn |
V~w | Λ | }V | yn |
μ’²Jw | Λ | }V | yn |
¬Ew | Λ | }V | yn |