The name affirming the consequent derives from using the consequent, Q, of , to conclude the antecedent P. This fallacy can be summarized formally as  or, alternatively, .
ðə nˈeɪm ɐfˈɜːmɪŋ ðə kˈɑːnsɪkwənt dᵻɹˈaɪvz fɹʌm jˈuːzɪŋ ðə kˈɑːnsɪkwənt, kjˈuː, ʌv , tə kəŋklˈuːd ðɪ ˌæntɪsˈiːdənt pˈiː. ðɪs fˈæləsi kæn biː sˈʌmɚɹˌaɪzd fˈɔːɹməli æz ɔːɹ, ɔːltˈɜːnətˌɪvli, .