Wróć do: Kurs Logika

Lekcja 2 – Tabele i spójniki logiczne. Przypisywanie wartości zdaniom złożonym.

Zapisz się proszę na Kurs przed rozpoczęciem tej Lekcji.

Na tej Lekcji bierzemy się z ścisłe określanie wartości logicznej zdań złożonych.

Pod koniec powinieneś mieć w głowie wartości logiczne dla alternatywy, koniunkcji, implikacji i równoważności, a także sprawnie tworzyć tablice (matryce) logiczne dla zdań złożonych.

Spis treści

  • zdania proste („atomowe”) i złożone – wprowadzenie, przypisywanie wartości logicznych zdaniom [0:27]
  • tabelki wartości negacji, alternatywy, koniunkcji, implikacji i równoważności [3:49]
  • zadanie 1: określanie wartości zdań złożonych, przy danych z góry wartościach zdań prostych (4 przykłady) [11:00]
  • zadanie 2: określanie wartości zdania prostego, przy danej z góry wartości zdań prostych i zdania złożonego (4 przykłady) [16:27]
  • zadanie 3: określenie wartości logicznej zdań - słowne implikacje (4 przykłady) [20:16]
  • zadanie 4: określanie wartości formuł z kwantyfikatorem ogólnym i spójnikiem implikacji (4 przykłady) [23:59]
  • zadanie 5: określanie wartości zdań złożonych, przy danych z góry wartościach zdań prostych (4 przykłady) [30:36]
  • określenie wszystkich możliwych wartości zdania złożonego, tworzenie tablicy (matrycy) logicznej i spełnialność formuły [33:40]
  • tworzenie tablicy logicznej zdania złożonego i spełnialność formuły [41:23]
  • sprawdzanie równoważności zdań przy pomocy tablicy logicznej (3 przykłady) [46:49]
  • sprawdzanie równoważności zdań przy pomocy tablicy logicznej (przykład) [50:16]
  • określanie jednych spójników logicznych innymi spójnikami logicznymi (4 przykłady) [53:02]
  • dowód tego, że implikacji nie można wyrazić za pomocą alternatywy i koniunkcji [1:08:12]
  • tabelka wartości wszystkich możliwych spójników logicznych [1:12:25]
  • tabelka wartości alternatywy wykluczającej (XOR) [1:16:36]
  • przykład na alternatywę wykluczającą [1:18:06]

Tagi Lekcji: dyskretnal9, logikal2
Wróć do: Kurs Logika