Twierdzenia i reguły dowodzenia

Twierdzeniem jest każde zdanie prawdziwe w teorii, nie będące aksjomatem. Bardzo często twierdzenia przyjmują postać implikacji (p1p2 ∧ ... ∧ pn) ⇒ q.
Zdania p1, p2, ... pn nazywamy założeniami twierdzenia, a zdanie q - tezą twierdzenia. Inną postacią twierdzeń jest postać równoważności: pq. Takie twierdzenia są równoważne parze twierdzeń: pq i qp. Tu zdania p i q przyjmują na zmianę rolę założenia i rolę tezy.

Reguły dowodzenia

Wszystkie rozumowania w dowodach matematycznych składają się z bardzo prostych kroków plegających na uznaniu pewnych zdań, czy też funkcji zdaniowych, za bezpośrednią konsekwencję logiczną innych. Te elementarne ogniwa rozumowań dedukcyjnych nazywają się regułami dowodzenia.

Reguła odrywania
Reguła odrywania (modus ponens) mówi, że jeżeli prawdziwe są zdania p oraz pq, to prawdziwe jest zdanie q. Reguła ta znana już była stoikow w III wieku p.n.e.

Reguła dowodu nie wprost
Przypuśćmy, że chcemy udowodnić zdanie p. W tym celu zaprzeczamy zdaniu p i dowodzimy, że z zaprzeczenia zdania p wynika fałsz, w postaci zdania r ∧ ~r.
Jeżeli zdanie p ma postać implikacji qs, to zaprzeczeniem tego zdania jest zdanie q∧~s. Czyli zakładamy prawdziwość założeń, fałszywość tezy i dowodzimy, że stąd wynika fałsz.

matematyka » algebra » logika matematyczna » rachunek zdań » twierdzenia i reguły dowodzenia




gość logowanie

© 2014 Mariusz Śliwiński      mapa | o serwisie | kontakt | rss online: 112 drukuj