predicate logic

subfield of logic

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

श्रेणियाँ:

logical systemmathematical theory