弗雷格系统
逻辑规律公理系统
弗雷格系统（Frege's system）逻辑史上第一个严格的关于逻辑规律的公理系统。
由弗雷格于1879年在《概念文字》中给出。它的一阶谓词演算有三个基本概念：蕴涵、否定和全称量词。
参考资料
最新修订时间：2023-09-10 19:44
条目作者
小编
目录
概述
参考资料

Copyright©2024 闽ICP备2024072939号-1