Wprowadzenie do logiki matematycznej
Odkrywanie prawd jest zadaniem wszelkiej nauki; zadaniem logiki jest odkrywanie praw prawdziwości – powiedział w roku Friedrich Ludwig Gottlob Frege, niemiecki matematyk, logik i filozof. Logika ma długą historię. Jej początki sięgają Chin ( wiek p n.e.) i starożytnej Grecji ( wiek p.n.e.).
Logika to dział matematyki badający warunki poprawności wnioskowań. W matematyce wnioskujemy bardzo często, chcemy przy tym, aby nasze wnioskowania były poprawne, więc warto zapoznać się z podstawami logiki.
Materiał zawarty w tej lekcji jest materiałem nadobowiązkowym, więc jeśli nie interesuje Cię ta tematyka, możesz po prostu lekcję pominąć.
Poznasz podstawowe pojęcia z zakresu logiki matematycznej.
Odróżnisz zdanie w sensie logiki od zdania w sensie potocznym.
Zbudujesz zdanie logiczne prawdziwe i zdanie logiczne fałszywe.
Określisz wartość logiczną zdania w sensie logiki.
Sformułujesz zdanie logiczne złożone w postaci negacji, koniunkcji, alternatywy, implikacji i równoważności.
Określisz wartość logiczną złożonego zdania logicznego.
Poznasz podstawowe tautologie.
Poznasz formy zdaniowe.