Wykłady i szkolenia - Elementy logiki

Dokument z cyklu „Politechnika TV”. We wrześniu 1966 r. Telewizja Polska wprowadziła − w porozumieniu z Ministerstwem Szkolnictwa Wyższego − cykl wykładów Politechniki Telewizyjnej o charakterze edukacyjnym, przeznaczony dla studentów wszystkich kierunków technicznych. Inicjatywę tę skierowano głównie do studentów pracujących, którym trudno było łączyć obowiązki zawodowe z nauką. Dzięki temu cyklicznemu programowi, studenci z całej Polski mieli okazje posłuchać wykładów robionych na najwyższym poziomie, nierzadko prowadzonych przez wybitnych uczonych. Wrocławski Ośrodek Telewizyjny postanowił włączyć się w ten projekt, specjalizując się w przygotowywaniu wykładów z matematyki. 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.