Aula de Lógica 29/11/22 (Terça-Feira)