Ratkaisutapa I. Tehdään todistus totuustaulun avulla:
Koska sarakkeitten
ja
totuusarvot ovat kaikissa tapauksissa päinvastaiset toisilleen, ovat ne toistensa vastaväitteitä, ts. lause
on aina totta. Siten lauseen
vastaväite on
.
Ratkaisutapa II. Kurssikirjan Esimerkkiä 2.2. sekä Lauseen I.2.3. (s. 8) kohtia a) ja c) hyödyntäen saadaan: