Szablon:Teorie formalne logiki

Informacje diagnostyczne

definicja szablonu

Szablon nawigacyjny

zadeklarowane kategorie

1

• podstawy matematyki

kategorie w kodzie

0

---

głębokość drzewa

1

liczba liści

2

prywatny CSS

teorie_formalne_logiki

---

Kanoniczne zestawienie parametrów

| nazwa = Teorie formalne logiki
| tytuł = [[Teoria (logika)|Teorie formalne]] w [[Logika matematyczna|logice matematycznej]]
| opis1 = klasyczny rachunek
| spis1 =
* [[Klasyczny rachunek zdań|zdań]]
* [[Rachunek predykatów pierwszego rzędu|kwantyfikatorów]]

| opis2 = [[logika]]
| spis2 =
* [[Logika wielowartościowa|wielowartościowa]]
** [[Logika trójwartościowa|trójwartościowa]]
** [[Logika rozmyta|rozmyta]]
* [[Logika intuicjonistyczna|intuicjonistyczna]]
* [[Logika parakonsystentna|parakonsystentna]]
* [[Logika wolna|wolna]]
* [[Logika modalna|modalna]]
* [[Logika temporalna|temporalna]]

| kategoria = podstawy matematyki