predicate logic

subfield of logic

en-GB/ˈpɹɛdɪkət ˈlɒd͡ʒɪk/
en-US/ˈpɹɛdəˌkeɪtv ˈlɑd͡ʒɪk/

หมวดหมู่:

logical systemmathematical theory