Szablon:Wnioskowanie/opis

To jest podstrona dokumentacji dla szablonu {{Wnioskowanie}}.
Zawiera ona informacje na temat sposobu użycia, kategoryzacji szablonu i inną zawartość niebędącą częścią oryginalnej strony.

Użycie[edytuj kod]

Opis parametrów[edytuj kod]

Przykład[edytuj kod]

Błędy[edytuj kod]

Błędy należy zgłaszać na stronie Wikipedia:Kawiarenka/Kwestie techniczne, jednocześnie oznaczając autorów @Arezimt, @Krzysiek_123456789.

Parametry szablonu (strukturyzacja VE)[edytuj kod]

Szablon służący do wizualizacji wnioskowania w dowodach w logice matematycznej

Parametry szablonu
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 kod]

StefanS. Hugtenburg StefanS., 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 kod]