Um edital apresentou a afirmação: "Se o relatório foi validado, então os dados foram auditados". Em seguida, informou-se que os dados não foram auditados. A equipe jurídica precisou concluir, com base apenas nessa estrutura argumentativa, o que necessariamente decorre dessas premissas. Analise as assertivas e classifique como verdadeira (V) ou falsa (F):

(__)A conclusão "o relatório não foi validado" decorre validamente das premissas.
(__)A forma de raciocínio usada é o modus tollens.
(__)A conclusão "o relatório foi validado" também decorre validamente das premissas.
(__)A forma "Se p, então q; não q; logo, não p" é válida.

A sequência CORRETA, de cima para baixo, é: 

Em um regulamento acadêmico, foram definidas as proposições simples p: "o estudante entregou o artigo" e q: "o estudante apresentou o seminário". A banca precisou reescrever a frase "o estudante não entregou o artigo e apresentou o seminário" usando linguagem simbólica correta. Analise as assertivas e identifique quais estão corretas.

I.A forma simbólica da frase é ¬p ^ q.
II.A negação de p é "o estudante não entregou o artigo".
III.A frase também pode ser representada por p v q.
IV.O conectivo principal da frase dada é a conjunção.

Está CORRETO o que se afirma em: