Szablon:Wnioskowanie
∴
Użycie
edytujOpis parametrów
edytujPrzykład
edytujBłędy
edytujBłędy należy zgłaszać na stronie Wikipedia:Kawiarenka/Kwestie techniczne, jednocześnie oznaczając autorów @Arezimt, @Krzysiek_123456789.
Parametry szablonu (strukturyzacja VE)
edytujSzablon służący do wizualizacji wnioskowania w dowodach w logice matematycznej
Parametr | Opis | Typ | Status | |
---|---|---|---|---|
Pierwsza przesłanka | przeslanka1 | Przesłanka wnioskowania w dowodzie logicznym | Treść | wymagany |
Druga przesłanka | przeslanka2 | Przesłanka wnioskowania w dowodzie logicznym | Treść | sugerowany |
Trzecia przesłanka | przeslanka3 | Przesłanka wnioskowania w dowodzie logicznym | Treść | opcjonalny |
Czwarta przesłanka | przeslanka4 | Przesłanka wnioskowania w dowodzie logicznym | Treść | opcjonalny |
Piąta przesłanka | przeslanka5 | Przesłanka wnioskowania w dowodzie logicznym | Treść | opcjonalny |
Szusta przesłanka | przeslanka6 | Przesłanka wnioskowania w dowodzie logicznym | Treść | opcjonalny |
Siódma przesłanka | przeslanka7 | Przesłanka wnioskowania w dowodzie logicznym | Treść | opcjonalny |
Ósma przesłanka | przeslanka8 | Przesłanka wnioskowania w dowodzie logicznym | Treść | opcjonalny |
Dziewiąta przesłanka | przeslanka9 | Przesłanka wnioskowania w dowodzie logicznym | Treść | opcjonalny |
Wniosek | wniosek | Wniosek wnioskowania w dowodzie logicznym | Treść | wymagany |
Źródła układu
edytuj- Stefan Hugtenburg , Delftse Foundations of Computation, 2nd Edition, Minneapolis, MN 2018, ISBN 978-94-6366-598-8, OCLC 1345677665 [dostęp 2023-03-04] (ang.).
Zobacz też
edytuj
Powyższy opis jest dołączany ze strony Szablon:Wnioskowanie/opis. (edytuj | historia)
Kategorie należy dodawać do podstrony /opis. Zobacz podstrony tego szablonu.
Kategorie należy dodawać do podstrony /opis. Zobacz podstrony tego szablonu.