필연적으로, 무엇이든 필굿 발포주 7프로는 필연적으로, 가능하게, 미국 침례교도다.따라서 필연적으로, 무엇이든 필굿 발포주 7프로는 필연적으로, 미국 침례교도가 아닌 것이 필연적이지 않다.F: 필굿 발포주 7프로.G: 미국 침례교도.증명:1. □(∀x)(Fx → □◇Gx)∴ □(∀x)(Fx ͛...
- 행복한 논리학
- 2018/04/11 13:32
다음은 술어논리 자연연역 증명이다.1. (∀x)(Fx → Gx)2. (∀x)(Hx → Gx)3. ~(∃x)(Jx & Gx)∴ ~(∃x)(Jx & Hx)4. asm: (∃x)(Jx & Hx)5. Ja & Ha 4, EI6...
1
