As regras de introdução e eliminação das disjunções são regras básicas para a dedução natural. Sobre uma disjunção P V Q, analise as afirmações: ...

A alternativa correta é a alternativa A, que afirma que apenas a afirmação I está correta. I. Para utilizar a eliminação da disjunção, é necessário: 1. supor P verdadeira e obter uma demonstração X verdadeira; 2. supor Q verdadeira e obter a mesma demonstração X verdadeira; 3. caso ocorra 1 e 2, pode-se inferir X. Essa afirmação está correta e descreve corretamente a regra de eliminação da disjunção. II. A regra da introdução da disjunção não permite inferir (P V Q) V R. Essa afirmação está correta, pois a regra de introdução da disjunção permite inferir P V Q a partir de P ou Q, mas não permite inferir disjunções compostas como (P V Q) V R. III. A partir de P V Q, pela regra da eliminação da disjunção, pode-se inferir P de forma direta. Essa afirmação está incorreta, pois a regra de eliminação da disjunção não permite inferir P ou Q diretamente a partir de P V Q. É necessário seguir o procedimento descrito na afirmação I. IV. Para a utilização da regra da introdução da disjunção, a partir de premissas P e Q, para se obter P V Q é necessário supor por hipótese P e inferir Q e também supor Q e inferir P. Essa afirmação está incorreta, pois a regra de introdução da disjunção permite inferir P V Q a partir de P ou Q, mas não é necessário supor P e inferir Q e também supor Q e inferir P.