Dowód (matematyka): Różnice pomiędzy wersjami

Dodane 35 bajtów ,  7 lat temu
m
lit., kat.
m (Bot: Przenoszę linki interwiki (1) do Wikidata, są teraz dostępne do edycji na d:Q11538)
m (lit., kat.)
* '''Dowód nieefektywny''' to dowód wykorzystujący [[aksjomat wyboru]].
 
W złożonych, wielostopniowych dowodach wykorzystuje się twierdzenia pomocnicznepomocnicze, tzw. [[lemat]]y.
 
== Dowód formalny ==
* [[Derywacja formuły zdaniowej w oparciu o zbiór formuł zdaniowych|dowód formuły zdaniowej w oparciu o zbiór aksjomatów klasycznego rachunku predykatów]]
 
[[Kategoria:Dowody matematyczne| ]]
[[Kategoria:Logika matematyczna]]
 
{{linkLink FA|cs}}
{{linkLink FA|eo}}