Considere os seguintes argumentos lógicos:
A1. Todos os patrocinenses são mineiros. João não é mineiro. Logo, João não é patrocinense.
A2. Nenhuma pessoa vitoriosa dorme até tarde. Jéssica não dorme até tarde. Logo, Jéssica é uma pessoa vitoriosa.
A respeito desses argumentos lógicos, é correto afirmar que: