Buy Me a Coffee at ko-fi.com

Simplification

inference in propositional logic

Pronunciation
/ˌsɪmpləfəˈkeɪʃən/
/ˌsɪmplɪfɪˈkeɪʃən/