In der aristotelischen Logik wird zwischen folgenden konträren und kontradiktorischen Satzarten unterschieden – F und G stehen dabei für Subjekt und Prädikat:
ɪn dɛɾ ˌɑrɪstoːtˈɛlɪʃən lˈoːɡɪk vˌɪɾt tsvˈɪʃən fˈɔlɡəndən kɔntɾˈɛːrən ʊnt kɔntɾˌɑdɪktˈoːrɪʃən zˈatsaɾtən ˌʊntɜʃˈiːdən ˈɛf ʊnt ɡˈeː ʃtˈeːən dɑːbˈaɪ fyːɾ zˈʊbjɛkt ʊnt pɾˌɛːdiːkˈɑːt: