Deriv 3.036: x³y~(Fy → ~Gx) :: 3x~(Fx → ~Gx)
Posted: Thu Jun 30, 2022 7:40 pm
- Deriv 3 036 X Y Fy Gx 3x Fx Gx 1 (11.92 KiB) Viewed 27 times
Deriv 3.036: x³y~(Fy → ~Gx) :: 3x~(Fx → ~Gx)
Please solve using basic derivation rules such as QN, NC, NB, DM, MT, MP, MTP, EI, EG, and UI
Deriv 3.036: x³y~(Fy → ~Gx) :: 3x~(Fx → ~Gx)