Typowe błędy logiczne

Wyostrz swoje myślenie krytyczne, ucząc się rozpoznawać typowe błędy logiczne w argumentach, debatach i codziennym rozumowaniu.

~12 min6 kroków

Logika i rozumowanieŚredniozaawansowany

Algebra Boole'a

Poznaj podstawy logiki cyfrowej: wartości boolowskie, operatory AND/OR/NOT, tablice prawdy, prawa De Morgana, upraszczanie i podstawy obwodów cyfrowych.

~22 min10 kroków

Logika i rozumowanieZaawansowany

Techniki dowodów matematycznych

Opanuj dowód bezpośredni, dowód przez sprzeczność, indukcję matematyczną, kontrapozycję, dowody istnienia i zasadę szufladkową Dirichleta.

~30 min10 kroków

Logika i rozumowanieŚredniozaawansowany

Logika zdań

Opanuj spójniki logiczne, tablice prawdy, prawa De Morgana, tautologie i poprawność argumentów dzięki interaktywnym tablicom prawdy, diagramom Venna i diagramom przepływu.

~25 min10 kroków

Logika i rozumowanieZaawansowany

Logika predykatów

Przejdź od logiki zdań do logiki predykatów — poznaj predykaty, kwantyfikatory (∀, ∃), wiązanie zmiennych, zagnieżdżone kwantyfikatory, dowody logiczne i dowód nie wprost.

~30 min12 kroków