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