Přirozená dedukce
Přirozená dedukce je odvětví matematické logiky, které bylo vyvinuto v Polsku ve 20. a 30. letech 20. století. Má vyjadřovat pravidla odvozování úzce související s "přirozeným" způsobem uvažování. Jaśkowski, jehož podnítila série seminářů v Pols…
Přirozená dedukce je odvětví matematické logiky, které bylo vyvinuto v Polsku ve 20. a 30. letech 20. století. Má vyjadřovat pravidla odvozování úzce související s "přirozeným" způsobem uvažování.
Jaśkowski, jehož podnítila série seminářů v Polsku v roce 1926, kde Łukasiewicz obhajoval přirozenější pojetí logiky, učinil první pokusy o definici přirozenější dedukce. V roce 1929 poprvé navrhl v roce 1929 použití diagramatického zápisu a později svůj návrh aktualizoval v článcích z let 1934 a 1935.
Galerie obrázků
2 Obrázky
Související články
Autor
AlegsaOnline.com Přirozená dedukce Leandro Alegsa
URL: https://cs.alegsaonline.com/art/68758