Niniejszy odcinek poświęcono podstawowym zagadnieniom z zakresu logiki matematycznej, które przybliżył doc. dr Roman Leitner z Wojskowej Akademii Nauk. Widzom przedstawione zostały m.in. definicje zdań prawdziwych i fałszywych, funkcji zdaniowych (propozycjonalnych), kwantyfikatorów, zaprzeczeń, wynikania (implikacji), założeń i tez, iloczynu logicznego, a także sumy logicznej. Terminologia poparta jest przykładami i ćwiczeniami.
Wyszukiwanie odpowiedzi..
