计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2008年
10期
82-84
,共3页
数理逻辑%谓词逻辑%范式%前束范式
數理邏輯%謂詞邏輯%範式%前束範式
수리라집%위사라집%범식%전속범식
本文提出了一种由前束析(合)取范式求前束合(析)取范式的简单方法.该方法根据谓词逻辑自身的特点,结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系,将前束析(合)取范式转化为主析(合)取范式,再得出相应的主合(析)取范式,最后准确地得出前束合(析)取范式.
本文提齣瞭一種由前束析(閤)取範式求前束閤(析)取範式的簡單方法.該方法根據謂詞邏輯自身的特點,結閤命題邏輯中命題公式的主析取範式和主閤取範式的互補關繫,將前束析(閤)取範式轉化為主析(閤)取範式,再得齣相應的主閤(析)取範式,最後準確地得齣前束閤(析)取範式.
본문제출료일충유전속석(합)취범식구전속합(석)취범식적간단방법.해방법근거위사라집자신적특점,결합명제라집중명제공식적주석취범식화주합취범식적호보관계,장전속석(합)취범식전화위주석(합)취범식,재득출상응적주합(석)취범식,최후준학지득출전속합(석)취범식.