Page 1 of 1

Prove the following theorems using only the primitive rules (CP,MP,MT,DN,VE,VI,&I,&E,RAA<->df).

Posted: Sat Jul 09, 2022 1:57 pm
by answerhappygod
Prove the following theorems using only the primitive rules(CP,MP,MT,DN,VE,VI,&I,&E,RAA<->df).