Ex: Brasília  é a capital do Brasil  ou  Lima é a capital do Peru.

Premissa em lógica é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra frase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam. Portanto, as premissas são as proposições que justificam a conclusão obtida.

Toda premissa, pode ser verdadeira ou falsa, bem como a conclusão, não aceitando jamais a ambiguidade. As frases que apresentam uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas), portanto, devem ser portadoras da verdade.

Os argumentos são normalmente baseados em premissas que ajudam a construir uma conclusão. No entanto, todas as premissas devem ter como alicerce um sentido lógico, caso contrário o resultado final pode não ser verdadeiro ou válido.

O precursor desta linha de pensamento lógico foi o filósofo grego Aristóteles, conhecido por ser um dos primeiros pensadores e filósofos de todos os tempos.

O chamado silogismo aristotélico é formado por três principais características: mediado, dedutivo e necessário.

O silogismo seria mediado devido a necessidade de se usar o raciocínio para se chegar à conclusão real. Seria dedutivo pelo fato de se partir de preposições universais para se chegar a uma conclusão específica. E, por fim, seria necessário por estabelecer uma conexão entre todas as premissas.

No âmbito da lógica, uma falácia consiste no ato de chegar a uma determinada conclusão errada a partir de proposições que são falsas.

A filosofia de Aristóteles abordou a chamada “falácia formal” como um sofisma, ou seja, um raciocínio errado que tenta passar como verdadeiro, normalmente com o intuito de ludibriar outras pessoas.

De acordo com a lógica filosófica aristotélica, a “falácia informal” difere-se da formal, principalmente pelo fato da primeira usar de raciocínios válidos, a princípio, para chegar a resultados que sejam inconsistentes e com premissas falsas.

Ao contrário das falácias formais, que são mais fáceis de identificar, as falácias informais, por apresentar uma forma lógica válida, podem ser de difícil identificação.

fonte: https://www.significados.com.br/falacia/

a) A inferência imediata consiste em extrair de uma só proposição outra proposição, à qual se atribui o valor de verdade ou falsidade. A inferência imediata pode ser obtida por oposição ou conversão.

b) A inferência mediata consiste numa conclusão obtida a partir de duas ou mais proposições. Este tipo de inferências podem ser de três tipos: analógicas, indutivas e dedutivas.

Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional. Este, por sua vez, envolve os recursos necessários para encontrar soluções a partir da tecnologia.

Os computadores executam tarefas por meio de comandos dados em uma programação. Essa, por sua vez, é feita com linguagens próprias, que funcionam como uma espécie de “idioma”, por meio do qual o programador se comunica com as máquinas. Algumas das mais conhecidas são Python, C e Java Script.

Porém, mais do que dominar essas linguagens, o programador precisa empregar a lógica computacional. A linguagem de programação é “o quê” se diz, mas é necessário aprender “como dizer”. Isso porque os algoritmos e os softwares são escritos com base em argumentos organizados em etapas e com instruções de causas e efeitos.

Em outras palavras, as instruções não são dadas para o computador como nós falamos com uma pessoa — um “preto no branco” —, mas por meio de um modo de pensar próprio, lógico e estruturado. Em síntese, o pensamento computacional obedece às seguintes etapas: