LOGIKA. Tautologie i zdania logiczne. Dowodzenie tautologii metodą "nie wprost".
41:06
LOGIKA - Sprawdzanie poprawności sylogizmu (metoda strukturalna)
49:45
Podstawy logiki matematycznej - alternatywa, koniunkcja, implikacja, równoważność, prawa de Morgana
1:19
Stacja działanie
12:10
BOSAK WYJAWIA PRZERAŻAJĄCE FAKTY NA TEMAT WOJNY!
22:37
LOGIKA - Kategorie syntaktyczne - zdania, nazwy, funktory
20:54
Dowody nie wprost KRZ: Dowody na "raz, dwa" (w systemie "1&2")
32:30
Twierdzenie Gödla obala najważniejszy mit AI. AI nie będzie świadoma | Roger Penrose (Nobel 2020)
1:12:47