toIPA
Home
Blog
Category
Exportation
Rule of replacement in propositional logic
Pronunciation
/ˌɛkspərˈteɪʃən/
/ɛkˌspɔːˈteɪʃən/
Categories
rule of inference
theorem