5. Metoda diskusije po slovu
Sadržaj časa:
- Objašnjenje metode diskusije po slovu
- Objašnjenje za neke osnovne kraće tautologije (npr. Τ∧p⇔p)
- ((p⇒q)∧¬q)⇒¬p - metoda diskusije po slovu
- (p⇒q)∧(p⇒r)⇒(p⇒(q∧r)) - metoda diskusije po slovu
- (p⇒q)⇒((p∨r)⇒(q∨r)) - metoda diskusije po slovu
Opis časa:
Prvo ćemo prezentovati kako se određuje vrijednost nekih manjih jednostavnijih tautologija, koje ćemo kasnije koristiti za dokazivanje da je neka veća iskazna formula tautologija.
Metoda diskusije po slovu se sastoji u tome da se izabere jedno iskazno slovo iz date iskazne formule (obično ono koje se najviše pojavljuje) i treba dokazati da je polazna iskazna formula tačna i ako je vrijednost izabranog iskaznog slova tačna i ako je vrijednost tog iskaznog slova netačna. Pri tome se koriste neke manje iskazne formule koje su tautologije, koje smo predhodno naveli.