Disciplina: Conhecimentos Gerais 0 Curtidas

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

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.

Solução