8
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 sledeću formulu i odrediti da li je ona tautologija:
Prvo identifikujemo osnovne iskaze i i njihove negacije i Zatim računamo vrednosti implikacija u zagradama i na kraju vrednost cele ekvivalencije.
Na osnovu poslednje kolone tablice, vidimo da formula nije uvek tačna (ima vrednosti ).
Zaključujemo da data formula nije tautologija jer njena istinitosna vrednost zavisi od vrednosti iskaza i