Lekcja 5 – Schematy wnioskowania
Lekcja poświęcona jest regułom podstawienia, rozumowaniu logicznemu, schematom wnioskowania, krokom dedukcyjnym i tym podobnym rzeczom.
Przed przystąpieniem do niej, koniecznie, koniecznie przerób tautologie.
Spis treści
- ogólny schemat rozumowania logicznego [0:08]
- pierwsza reguła podstawiania [2:02]
- druga reguła podstawiania [5:16]
- przykład na zastosowanie reguł podstawiania [6:39]
- schemat i konstrukcja dowodu formalnego [17:25]
- przykład 2: dowód formalny wybranego zdania ze zbioru zdań (schemat wnioskowania) [20:04]
- przykład 3: dowód formalny wybranego zdania ze zbioru zdań [30:07]
- przykład 4: dowód formalny na wyprowadzenie implikacji ze zbioru zdań [33:56]
- sprawdzanie, czy schemat jest schematem wnioskowania (regułą dowodzenia) - 3 przykłady [36:42]
- przykład z życia codziennego na sprawdzenie poprawności rozumowania [42:18]
- przykład z życia codziennego na sprawdzenie poprawności rozumowania [47:12]
- przykład 8: dowód formalny z ograniczeniem dopuszczalnych schematów wnioskowania [50:23]
- przykład 9: zagadka logiczna [53:38]
