Prove the following theorems using only the primitive rules (CP,MP,MT,DN,VE,VI,&I,&E,RAA<->df).
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Prove the following theorems using only the primitive rules (CP,MP,MT,DN,VE,VI,&I,&E,RAA<->df).
Prove the following theorems using only the primitive rules(CP,MP,MT,DN,VE,VI,&I,&E,RAA<->df).