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