请输入您要查询的英文单词:

 

单词 predicate calculus
释义

predicate calculus


noun Logic.

functional calculus.
Also called predicate logic.

Origin of predicate calculus

First recorded in 1945–50

Words nearby predicate calculus

predicable, predicament, predicant, predicate, predicate adjective, predicate calculus, predicate nominative, predicate noun, predicate objective, predicative, predicator
Dictionary.com UnabridgedBased on the Random House Unabridged Dictionary, © Random House, Inc. 2020

British Dictionary definitions for predicate calculus

predicate calculus

noun

the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individualsAlso called: functional calculus See also propositional calculus
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
随便看

 

英语词典包含192737条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/16 3:48:25