A lógica formal estuda como provar a veracidade de algum argumento e as relações entre diferentes ideias, ao passo que a computacional estuda como organizar instruções e criar um raciocínio baseado em pequenas etapas para chegar a uma solução.

Ambas estão ligadas ao pensamento computacional, que, por sua vez, não necessariamente está associado a contextos puramente tecnológicos. Essa estratégia tem como objetivo preparar alguém para resolver um problema, independentemente do seu escopo.

2. O que é Proposição: Proposição é uma frase declarativa, que admite um e somente um dos dois valores lógicos – V ou F.

3. O que são premissas: Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão.

4. O que são argumentos: Um argumento pode ser definido como uma afirmação acompanhada de justificativa, é um raciocínio destinado a provar ou refutar determinada tese.

5. O que é silogismo: Silogismo é uma forma de raciocínio baseada na dedução, consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir de duas premissas. 

6. O que é falácia: Falácia é um raciocínio errado com aparência de verdadeiro. Na lógica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que se alega.

7. O que é inferência e quais os tipos: é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita.

Existem dois tipos de inferência, indutiva e dedutiva.

Na indutiva, partiremos da experiência com as verdades e fatos particulares na busca de uma conclusão geral.

Na dedutiva, partiremos de premissas gerais para concluirmos verdades específicas e particulares.