toIPA
Home
Blog
Category
Simplification
inference in propositional logic
Pronunciation
/ˌsɪmplɪfɪˈkeɪʃən/
/ˌsɪmpləfəˈkeɪʃən/
Categories
rule of inference
theorem