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 p...

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. Veja que aqui não é necessário ser uma tautologia (e realmente não será), mas sim é preciso seguir as regras da inferência.

Considere a coluna A com as inferências e B com suas nomenclaturas. Analise e associe de forma correta.

A B

I. De podemos deduzir 1. Silogismo Hipotético

II. De podemos deduzir 2. Modus Tollens

III. De podemos deduzir 3. Modus Ponens

IV. De podemos deduzir 4. Conjunção

Assinale a alternativa que apresenta a associação CORRETA.


I - 3; II - 1; III - 4; IV - 2
I - 3; II - 2; III - 4; IV - 1
I - 4; II - 2; III - 3; IV - 1
I - 4; II - 1; III - 3; IV - 2
I - 2; II - 3; III - 1; IV - 4