Exportation

Rule of replacement in propositional logic

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

ক্যাটাগরি:

rule of inferencetheorem