×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [subformula property]
Home >
subformula property
Natural deduction ` A ` B ` A Æ B ` A ` A Æ B ` B ` B ` A ) B ` A ` A ) B ` B ` A ÆIÆI ÆE1ÆE1 ÆE2ÆE2 Assume )I)I.
237 views