Ciência da Computação Aspecto Gerais

Analise as seguintes afirmações relativas à lógica formal.

I. Uma proposição singular (afirmativa) declara que um indivíduo particular possui uma propriedade específica.

II. Um silogismo de dois enunciados forma-se inserindo a palavra "ou" entre eles. Os dois elementos componentes assim combinados são chamados premissas.

III. Um silogismo que tem uma premissa condicional e uma premissa categórica chama-se silogismo hipotético misto.

IV. Se houver uma disjunção como uma premissa, e como outra premissa a negativa ou contraditória de um dos seus dois disjuntos, então podese, validamente, inferir que o outro disjunto da disjunção é falso.

Indique a opção que contenha todas as afirmações verdadeiras.

  • A. I e II
  • B. II e III
  • C. III e IV
  • D. I e III
  • E. I e IV