Linnk AI letöltése
•
Kutatási asszisztens
>
Bejelentkezés
betekintés
-
Lukasiewicz 논리의 증명 시뮬레이션
L3 논리에 대한 프레게 시스템의 증명 시뮬레이션 절차 일반화
Lukasiewicz 논리에서 연역 정리가 성립하지 않는 경우에도 프레게 시스템의 증명 시뮬레이션 절차를 일반화할 수 있다.
1