São vários os tipos ou classificações para a lógica. Com base no exposto, associe os itens, utilizando o código a seguir: I- Lógica de Programação. II- Lógica de Argumentação. III- Lógica Matemática. IV- Lógica Proposicional.

( ) Consiste em um sistema dedutivo de enunciados que tem como objetivo criar um grupo de leis e regras para determinar a validade dos raciocínios.

( ) Esse tipo de lógica permite verificar a validade ou se um enunciado é verdadeiro ou não. Não é feito com conceitos relativos nem subjetivos. São proposições tangíveis cuja validade pode ser verificada.

( ) Esse tipo de lógica é a linguagem usada para criar um programa de computador. É essencial para desenvolver programas e sistemas informáticos, pois ela define o encadeamento lógico para esse desenvolvimento.

( ) Esse tipo é uma área da lógica que examina os raciocínios de acordo com as relações entre orações (proposições), as unidades mínimas do discurso, que podem ser verdadeiras ou falsas.

Assinale a alternativa que apresenta a sequência correta: