bivalent logic

en-US/baɪˈveɪlənt ˈlɑd͡ʒɪk/
en-GB/baɪveɪlənt ˈlɒd͡ʒɪk/

Kategoriler:

formal system