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

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]