Početna
Slučajna
U blizini
Prijavi me
Podešavanja
Donacije
O Vikipediji
Odricanje odgovornosti
Pretraži
Šablon
:
Pravila transformacije
Jezik
Nadgledaj
Uredi
Pravila transformacije
Iskazni račun
Pravila zaključivanja
Modus ponens
Modus tolens
Kontrapozicija
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
p
r
u
Dokumentacija šablona
Urednici mogu da eksperimentišu na podstranicama pesak
(
napravi
|
dupliraj
)
i test
(
napravi
)
ovog šablona.
Podstranice ovog šablona
.