This gives logic a mathematical foundation with equations, enables it to solve equations as well as check validity, and allows it to handle a wider class of problems by expanding propositions of any number of terms, not just two.
ðɪs ɡˈɪvz lˈɑːdʒɪk ɐ mˌæθɪmˈæɾɪkəl faʊndˈeɪʃən wɪð ᵻkwˈeɪʒənz, ɛnˈeɪbəlz ɪt tə sˈɑːlv ᵻkwˈeɪʒənz æz wˈɛl æz tʃˈɛk vælˈɪdᵻɾi, ænd ɐlˈaʊz ɪt tə hˈændəl ɐ wˈaɪdɚ klˈæs ʌv pɹˈɑːbləmz baɪ ɛkspˈændɪŋ pɹˌɑːpəzˈɪʃənz ʌv ˌɛni nˈʌmbɚɹ ʌv tˈɜːmz, nˌɑːt dʒˈʌst tˈuː.