Wydaje się, że matematyka w punkcie wyjścia dysponuje stosunkowo skromną liczbą symboli, dziesięcioma cyframi. Jednak okazuje się, że liczba kombinacji, jaka między tymi cyframi zachodzi, jest niemal nieskończona. Badaniami tych relacji zajmuje się matematyka. Podobnie logika, w punkcie wyjścia ma ograniczoną liczbę symboli, które reprezentują proste relacje zachodzące między zdaniami języka naturalnego. Jednak badając te relacje logicy odkryli i wciąż odkrywają niezliczone liczby prawd logicznych – część tych odkryć przyczyniła się do rozwoju prac nad sztuczną inteligencją. W dzisiejszej lekcji poznasz kolejnych kilka takich prawd.