10O fundador da lógica formal é Aristóteles, ele determina que a validade lógica de um raciocínio depende da forma ou estrutura, e não do conteúdo....

10O fundador da lógica formal é Aristóteles, ele determina que a validade lógica de um raciocínio depende da forma ou estrutura, e não do conteúdo. Também, fez a introdução à análise da quantificação dos enunciados e das variáveis, realizando vários estudos dos casos em que dois enunciados implicam um terceiro. Sobre os tipos de lógica, classifique V para as sentenças verdadeiras e F para as falsas:

( ) A lógica de programação também é chamada de lógica de argumentação programacional.
( ) A lógica de programação define o encadeamento lógico para o desenvolvimento de programas de computador.
( ) O estudo da lógica segundo a sua estrutura ou forma é feito pela lógica matemática.
( ) A lógica proposicional é utilizada para descobrir se o valor lógico de uma proposição é verdadeiro, falso ou nulo.

Assinale a alternativa que apresenta a sequência CORRETA:

A
B
C
D