Primjena matematičke logike
1. Složeni logički izrazi
1.2. Tautologija i kontradikcija
TAUTOLOGIJA je složeni sud koji je uvijek istinit bez obzira na vrijednost logičkih varijabl.
Primjer: Pokažite tablicom istinitosti da je dolje napisan izraz tautologija!
Rješenje:
KONTRADIKCIJA je složeni sud koji je uvijek lažan
bez obzira na vrijednost logičkih varijabli.
Primjer: Negiramo li izraz iz prethodnog primjera dobit ćemo kontradikciju. Pogledajmo kako izgleda izraz
Rješenje:
