في هذه المحاضرة تطرقنا إلى أساسيات Propositional Logic، وتعرّفنا على مفهوم الـ Proposition والجمل التي تُعد propositions والجمل التي لا تُعد كذلك، بالإضافة إلى شرح Truth Values (True / False) مع أمثلة تطبيقية. كما انتقلنا إلى Negation of a Proposition وتعلّمنا معنى ¬p وكيفية نفي الجملة وقلب قيمتها المنطقية باستخدام جدول الحقيقة، مع أمثلة توضيحية على البروبزيشن ونفيها.