Opis Kursu

Kurs „Tautologie – analiza formuł zdaniowych” trwa 6,5 godziny i składa się z części teoretycznej oraz praktycznej. Trwająca 2 godziny i 40 minut część teoretyczna zawiera omówienie pojęcia „prawdy” oraz „fałszu” w logice, zdań analitycznych, wewnętrznie kontradyktorycznych oraz syntetycznych. Przed wskazaniem różnic między funktorami prawdziwościowymi (ekstensjonalnymi) oraz funktorami intensjonanymi, omówiona została także istota języka klasycznego rachunku zdań. Z uwagi na to, że dla analizy formuł zdaniowych zasadnicze znaczenie mają funktory ekstensjonalne, bardzo szczegółowo przedstawiony został każdy z tych funktorów, a więc: negacja, koniunkcja, alternatywa zwykła, alternatywa rozłączna, dysjunkcja, implikacja, równoważność oraz binegacja. Wyjaśnienie terminu „tautologia” rozpoczyna trwającą prawie 4 godziny część praktyczną, która obejmuje 23 zadania o różnym stopniu trudności. Podczas rozwiązywania zadań, stosowane metody badania tautologiczności formuł zdaniowych są następujące: 1) metoda zero-jedynkowa tabelaryczna, 2) metoda zero-jedynkowa zwykła (bez tabeli) oraz 3) metoda zero-jedynkowa skrócona.

Lista Filmów

• Pojęcie prawdy oraz fałszu w logice

  10m 2s

• Zdania analityczne

  7m 18s

• Zdania wewnętrznie kontradyktoryczne

  7m 17s

• Zdania syntetyczne

  7m 33s

• Język klasycznego rachunku zdań

  14m 40s

• Funktory ekstensjonalne

  11m 54s

• Negacja jako funktor ekstensjonalny

  10m 7s

• Koniunkcja jako funktor ekstensjonalny

  15m 33s

• Alternatywa zwykła jako funktor ekstensjonalny

  8m 59s

• Alternatywa rozłączna jako funktor ekstensjonalny

  6m 40s

• Dysjunkcja jako funktor ekstensjonalny

  6m 8s

• Implikacja jako funktor ekstensjonalny

  11m 12s

• Równoważność jako funktor ekstensjonalny

  4m 29s

• Binegacja jako funktor ekstensjonalny

  2m 56s

• Funktory ekstensjonalne – podsumowanie

  10m 39s

• Funktory intensjonalne

  9m 37s

• Czym jest tautologia ?

  13m 41s

• Metoda zero-jedynkowa (tabela) – Przykład nr 1

  14m 55s

• Metoda zero-jedynkowa (tabela) – Przykład nr 2

  9m 42s

• Metoda zero-jedynkowa (tabela) – przykład nr 3

  14m 3s

• Metoda zero-jedynkowa (tabela) – przykład nr 4

  11m 10s

• Metoda zero-jedynkowa (tabela) – przykład nr 5

  16m 25s

• Metoda zero-jedynkowa (tabela) – przykład nr 6

  4m 30s

• Metoda zero-jedynkowa (tabela) – przykład nr 7

  15m 24s

• Metoda zero-jedynkowa (tabela) – przykład nr 8

  9m 13s

• Metoda zero-jedynkowa (bez tabeli) – przykład nr 1

  9m 3s

• Metoda zero-jedynkowa (bez tabeli) – przykład nr 2

  4m 35s

• Metoda zero-jedynkowa (bez tabeli) – przykład nr 3

  5m 6s

• Metoda zero-jedynkowa (bez tabeli) – przykład nr 4

  10m 39s

• Metoda zero-jedynkowa (skrócona) – przykład nr 1

  14m 50s

• Metoda zero-jedynkowa (skrócona) – przykład nr 2

  14m 55s

• Metoda zero-jedynkowa (skrócona) – przykład nr 3

  13m 6s

• Metoda zero-jedynkowa (skrócona) – przykład nr 4

  7m 54s

• Metoda zero-jedynkowa (skrócona) – przykład nr 5

  7m 32s

• Metoda zero-jedynkowa (skrócona) – przykład nr 6

  7m 2s

• Metoda zero-jedynkowa (skrócona) – przykład nr 7

  10m 3s

• Metoda zero-jedynkowa (skrócona) – przykład nr 8

  4m 52s

• Metoda zero-jedynkowa (skrócona) – przykład nr 9

  14m 21s

• Metoda zero-jedynkowa (skrócona) – przykład nr 10

  5m 13s

• Metoda zero-jedynkowa (skrócona) – przykład nr 11

  6m 31s