Jeżeli dany ciąg jest dowodem formalnym przy zbiorze aksjomatów to mówi się, że jest to dowód formalny dla z oraz że da się dowieść z
Dowodem formuły w oparciu o zbiór formuł nazywamy każdy skończony ciąg formuł taki, że (czyli ostatnia formuła w tym ciągu jest identyczna z formułą dowodzoną) oraz dla każdego wskaźnika spełniony jest przynajmniej jeden z następujących warunków:
(czyli formuła może być wzięta ze zbioru, w oparciu o który dowód jest prowadzony); istnieją: wskaźnik , formuła oraz wskaźnik takie, że (czyli powstaje z pewnej wcześniejszej formuły przez zastosowanie reguły podstawiania); istnieją takie , że oraz (czyli podstaje z pewnych wcześniejszych formuł oraz przez zastosowanie reguły odrywania reguły odrywania)
Zobacz też
automatyczne dowodzenie twierdzeń teoria dowodu
Przypisy
Linki zewnętrzne Wiktor Bartol, O dowodzeniu, Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej (MiNI PW), kanał „Archipelag Matematyki” na YouTube, 15 września 2017 [dostęp 2024-09-04]. [dostęp 2025-10-31]. Roman Murawski, On a Proof in Mathematics, Centrum Kopernika Badań Interdyscyplinarnych – Uniwersytet Jagielloński (CKBI UJ), kanał „Copernicus” na YouTube, 13 marca 2012 [dostęp 2024-09-04]. – artykuł m.in. o dowodach graficznych
Kategoria:Dydaktyka matematyki Kategoria:Artykuły, które powinna mieć każda Wikipedia (poniżej 10k)