yazilimweb tasarim
mob / viber: +38269693418

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.