计算机术语“natural_deduction”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	natural_deduction
释义	natural deduction 自然演绎系统一种用於一阶述词演算的演绎系统，由四部分组成：（1）公理和基本规则；（2）联结词规则；（3）量词规则；（4）运算子规则。
随便看	user_microprogrammable_system user_microprogramming user_mode user_name user_network_interface user_number user-oriented user_partition user_profile user_profile_table user_program user_program_area user-programmable_key user_programmable_key user_program_verification_facility user_prompts user-readable_format user_service user_service_class user_set users_file_directory users_interface user_space user_specification_file user-supported_software

Linux计算机英汉词典包含19493条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。