Rachunek zdań / Wiktor Bartol
Materiał pochodzi ze zbiorów Archipelagu Matematyki. Zapraszamy na http://gra.archipelagmatematyki.pl do gry na temat matematyki wyższej. Gra powstała na Wydziale Matematyki i Nauk Informacyjnych Politechniki Warszawskiej http://www.mini.pw.edu.pl

▶︎
O dowodzeniu / Wiktor Bartol

▶︎
Czym są relacje? / Wiktor Bartol

▶︎
Kwantyfikatory - w Polsce robimy to inaczej niż inni - kurs z teorii mnogości

▶︎
LOGIKA. Tautologie i zdania logiczne. Dowodzenie tautologii metodą "nie wprost".

▶︎
Logika MATEMATYCZNA: Zdania logiczne i NEGACJA zdań

▶︎
LOGIKA - Czym jest sylogistyka ?

▶︎
Podstawy logiki matematycznej - alternatywa, koniunkcja, implikacja, równoważność, prawa de Morgana

▶︎
Grupy / Wiktor Bartol

▶︎
Czym są kwantyfikatory? Matematyka

▶︎
Stosunki zakresowe między nazwami. Logika prawnicza

▶︎
Logika MATEMATYCZNA: Koniunkcja i alternatywa zdań

▶︎
WSTĘP DO MATEMATYKI WYŻSZEJ - 1.10 Prawa rachunku kwantyfikatorów

▶︎
LOGIKA - Pojęcie znaku oraz oznaki

▶︎
KRZ (Klasyczny Rachunek Zdań) - Wprowadzenie

▶︎
Tautologia, czyli prawo rachunku zdań

▶︎
Logika - wykład pierwszy

▶︎
Tautologie i Prawa de Morgana

▶︎
Twierdzenie Wilsona

▶︎
Wprowadzenie do logiki - KRZ - Syntaktyka - podformuła cz. 1

▶︎
