Si a alguien le interesa profundizar sobre la inferencia lógica y proposional, (min: 2:50) le recomiendo el libro Introducción a la lógica matemática de Patrick Suppes. Es un excelente inicio a las proposiciones moleculares y atómicas, inferencia y conectores lógicos, entre otros.