Exportation

Rule of replacement in propositional logic

en-GB/ɛkspɔːˈteɪʃən/
en-US/ˌɛkspoʊɹˈteɪʃən/

دسته بندی ها:

rule of inferencetheorem