Dịch

predicate calculus

danh từ (noun)
UK/ˈpɹɛd.ɪ.kət ˈkæl.kjʊ.ləs/US/ˈpɹɛd.ɪ.kɪt ˈkæl.kjə.ləs/

Nghĩa chính

  1. Phép tính vị từdanh từkhông đếm được (uncountable)The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.

Cụm từ (phrase)

monadic predicate calculusChưa có nghĩa

Họ từ (word family)

Từ liên quan (related word)

AI