10
Tekst zadatka namerno ne prikazujemo jer želimo da podržimo izdavača Krugove zbirke. Možeš pronaći tekst zadatka u zbirci.
Sastaviti tablicu istinitosti za formulu zakona kontrapozicije i odrediti da li je ona tautologija.
Prvo identifikujemo osnovne iskaze i a zatim formiramo kolone za njihove negacije i kao i za implikacije koje čine levu i desnu stranu ekvivalencije.
Na osnovu poslednje kolone tablice istinitosti, vidimo da je formula istinita za sve moguće vrednosti istinitosti iskaza i
Pošto su u poslednjoj koloni sve vrednosti zaključujemo da je formula tautologija.