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

Opis parametrów

Przykład

Błędy

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)

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

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.).