Wikipedija

Šablon:Pravila transformacije-lat

Pravila transformacije
Iskazni račun
Pravila zaključivanja

Modus ponens  • Modus tolens  • Dvouslovni uvod  • Dvouslovna eliminacija  • Konjunkcioni uvod  • Pojednostavljenje  • Disjunkcioni uvod  • Disjunkciona eliminacija  • Disjunkcioni silogizam  • Hipotetični silogizam  • Konstruktivna dilema  • Destruktivna dilema  • Apsorpcija

Pravila zamene

Asocijativnost  • Komutativnost  • Distributivnost  • Dvostruka negacija  • De Morganovi zakoni  • Transpozicija  • Materijalna implikacija  • Materijalna ekvivalencija

 • Eksportacija • Tautologija
Predikatna logika

Univerzalna generalizacija  • Univerzalna instancijacija  • Egzistenciona generalizacija

 • Egzistenciona instancijacija
Izvor: https://sh.wikipedia.org/w/index.php?title=Šablon:Pravila_transformacije-lat&oldid=3832054