predicate calculus

predicate calculus

• 【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic]

• Bedford-Stuyvesant, Bed-Stuy
• abate
• declaratively
• leafed
• foreleg
• Giraffidae
• arachnid
• outhauls
• prelingual
• dead dog
• broke to the world
• at ... leisure
• immunity bath
• be at anchor
• share certificates
• lepidopterans
• I tell you
• failure in duty
• go to ground
• living proof
• meadow beauty
• physically possible / impossible
• enthusiasm
• belle epoque
• genethliacs
• holometabolas
• make-or-breaks
• data definition
• a needle in a bottle of haystack
• counterbalancer
• taxonomists
• work the ropes
• quaintly
• trial shots
• primitivity
• TOEIC
• parallax correction
• prism level
• hastily
• dedans'
• bad young man
• characterised
• real mccoys
• genomic library
• in the domain of
• talk through
• third-stream
• reforms
• matelotes
• underworlds
• wicks
• close sth↔down
• mutuals
• powdered
• gam
• poetize, poetised
• clean sth↔down
• microbrewers
• everlasting pea
• phyllostome
• videotapes
• opposing winding
• rubeanic acid
• active working
• swagged
• moos
• knock the bottom out of
• scapegoatisms
• polling places
• Wailing Wall
• Lay on the oars!
• accommodation papers
• twist grip
• disjection
• prestidigitatory
• junc
• literary-editorship
• pseudomorphisms
• student's t-test
• astragaloid bone
• rattener
• get started
• bumpman
• yous
• oddly enough
• servosystem
• royal ferns
• endosmotically
• petit larcenies
• to the point of
• a chicken-and-egg situation, problem, etc.
• spermist
• north germanics
• cragging
• skills
• leaf axil
• inoculating
• Nimitz, Chester William
• gamme
• Behring, Emil Adolf von