Question

Além das regras de equivalência, o processo de dedução lógica também possui as regras de inferência.

Na inferência, dada uma determinada fbf, ela poderá ser substituída por outra que atenda a regra de inferência. Há três regras de inferência principais: Modus Ponens (MP), Modus Tollens (MT) e Silogismo Hipotético (SH). De acordo com as informações apresentadas na tabela a seguir, faça a associação das regras de inferência na Coluna A com as respectivas estruturas apresentados na Coluna B. Coluna A Coluna B I. Modus Ponens (MP) 1. (P ⟶ Q)∧¬Q ⟶ ¬P II. Modus Tollens (MT) 2. (P ⟶ Q)∧P ⟶ Q III. Silogismo Hipotético (SH) 3. (P ⟶ Q)∧(Q ⟶ R) ⟶ (P ⟶ R) Assinale a alternativa que apresenta a associação CORRETA entre as colunas. Escolha uma: a. I - 3; II - 1; III - 2. b. I - 1; II - 3; III - 2. c. I - 2; II - 1; III - 3. d. I - 1; II - 2; III - 3. e. I - 3; II - 2; III - 1.

RESPONDER

FerSilva está aguardando sua ajuda, Clique aqui para responder.