Da aber jede Formel herleitbar ist, ist insbesondere auch die Formel P0 ∧ ¬ P0 und die Formel A ∨ B herleitbar:
dɑː ˌɑːbɜ jˈeːdə fˈɔɾməl hˈɛɾlaɪtbˌɑːɾ ɪst, ɪst ˌɪnsbeːzˈɔndərə ˌaʊx diː fˈɔɾməl pˈeː nˈʊl pˈeː nˈʊl ʊnt diː fˈɔɾməl ˈɑː bˈeː hˈɛɾlaɪtbˌɑːɾ: