Beweren en bewijzen/de zuilen/Zekerheid/5. Natuurlijke deductie/deductieschema

Uit Werkplaats
< Beweren en bewijzen‎ | de zuilen‎ | Zekerheid‎ | 5. Natuurlijke deductie
Versie door Hanno Wupper (overleg | bijdragen) op 21 jan 2011 om 15:10 (Tekst vervangen - '{{BenB/Inhoud' door '<noinclude>{{BenB/Inhoud')
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken
de opzet 2017-18    KalenderIcon.gif multimedia kwaliteit commentaren
site map


Beweren en bewijzen
Wijsheid omgaan met onzekerheid: met open blik op wankele ondergrond levenspad bewandelen
Vernuft aanpak van glibberige problemen precies redeneren op het hoogste niveau
vier zuilen → Artefacten Formalisering Taal Zekerheid
1. Rationaliteit Rationaliteitsvierkant 4 werelden Beweren is moeilijk Overtuigen
2. Modellen Focus Precisie Logica Stelling en bewijs
3. Model en realiteit Specificaties Domeinmodel Syntax en semantiek Waarheid
4. Correctheid Structuur Correctheidsstelling Typering Nagaan
5. Methoden Decompositie Systemat. vertalen Definities Natuurl. deductie
6. Theorie Domeintheorie Tijd Tijdslogica Wiskunde
7. Complexiteit Hiërarch. decompositie Vereenvoudigingen Modules Bewijsassistenten
8. Generalisering Standaardisatie Parametrisatie Talen Hulpstellingen
Beweren en bewijzen/de zuilen/Zekerheid/5. Natuurlijke deductie/deductieschema
De regels voor natuurlijke deductie en de bijbehorende Coq commando's vind je hier:

Bestand:Deductie.pdf

Griekse letters staan voor willekeurige beweringen, waarbij dezelfde letter telkens door dezelfde formule vervangen moet worden.

Latijnse letters komen voor in specifieke formules. Het zijn propositieletters.