로지반에서 양화사를 어떻게 표현함?

[익명(211.36)]

자연언어마냥 단순히 '어떤', '모든' 같은 단어로

속박되는 명제는 명시하지 못하는 걸

로지반에서는 가능하다매

[TIME(ghawmzldjs71)]

완전히 익힌건 아니라 틀렸을수도 있음 ke를 한국어로 제대로 번역할수 있을지도 모르겠고
https://wikidocs.net/156417
,
https://wikidocs.net/156423
- dc App

[TIME(ghawmzldjs71)]

https://wikidocs.net/156419
- dc App

[TIME(ghawmzldjs71)]

오해를 일으틴거 같은데 글 대로 할수있다는건 아니고 로지반 설명에서 술어논리 기반 문법이라길래 어떻게 되는지 궁금해졌다는거였어 이링크 만으로는 구현이안될거야 - dc App