Iskazni račun, Logika

Svođenje na normalnu iskaznu formu

Comments Off on Svođenje na normalnu iskaznu formu 27 September 2014

Svođenje na normalnu iskaznu formu je metoda pojednostavljivanja složenih iskaza i metoda koja može poslužiti kao način da se utvrdi da li je neka formula tautologija. Normalna iskazna forma je forma koja sadrži iskazne promenljive (npr, p, q, r,…) ili njihove negacije (¬p, ¬q, …) povezane u konjukcije ili u disjunkcije. Na primer stav: (p […]

Continue Reading

Iskazni račun, Logika

Metoda svođenja na protivrečnost

Comments Off on Metoda svođenja na protivrečnost 27 September 2014

Do sada smo se upoznali sa dva načina određivanja da li je neka formula tautologija ili nije. Prvi način je metoda istinitosnih tablica (u kojoj naprosto izračunamo vrednost formule za sve moguće kombinacije istinitosnih vrednosti iskaznih promenljivih) a druga je metoda svođenja na normalnu formu u kojoj složenu formulu najpre pojednostavljujemo u normalnu formu, a […]

Continue Reading

© 2024 Kratka istorija filozofije. Powered by WordPress.

Daily Edition Theme by WooThemes - Premium WordPress Themes