No nosso estudo não é diferente, a lógica é essencial para a criação de um algoritmo, pois tem como objetivo de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade, a base da estruturação de um algoritmo é o argumento usado, ou seja, a “busca da verdade” e seus fundamentos lógicos, o objetivo de um argumento é justificar uma afirmação que se faz, ou da as razões para certa conclusão obtida. Pode-se dizer que é uma reconstrução explícita do raciocínio efetuado.

Um belo exemplo disso é dizer que “todos os homens são mortais” é uma sentença declarativa expressa na forma afirmativa, como sua sentença é verdadeira então seu valor lógico é verdadeiro, atribuindo ao símbolo “V”.

Outro exemplo é dizer que “7 + 5 = 10” é uma sentença declarativa expressa na forma afirmativa, porem é uma sentença falsa então atribuímos o seu valor lógico “F”.

A proposição tem seus princípios sendo eles principio da Identidade (Uma proposição verdadeira é verdadeira e falsa é falsa), o Terceiro Excluído (Uma proposição ou é verdadeira ou é falsa não existindo uma terceira possibilidade) e a Não-Contradição (Uma proposição não pode ser verdadeira e falsa simultaneamente) esses são os 3 principais princípios que regem as proposições.

Fonte: https://www.infoescola.com/matematica/logica-proposicional/

Ela é um conjunto de uma ou mais de uma sentença declarativa que é acompanhada de uma outra fase declarativa que é a conclusão. A verdade da conclusão é uma consequência lógica das premissas que a antecederam, sendo proposições justificando a conclusão obtida.

A premissa pode ser verdadeira ou falsa, bem como a conclusão, recusando a ambiguidade. As frases que contem uma premissa são referidas como verdadeiras ou falsas (válidas ou inválidas) portanto devem ser portadoras da verdade, ela é uma proposição presente em um silogismo, o raciocínio feito com base nas deduções, assim, a premissa permite que se chegue a uma determinada conclusão através de um processo de dedução.

Fonte: https://www.significados.com.br/premissa/
fonte: https://www.dicio.com.br/premissa/

Um argumento é formado por uma ou mais premissas (como já vimos anteriormente) e por UMA ÚNICA conclusão, as premissas são as declarações que tentam determinar o grau de veracidade da conclusão (que, por sua ver, é uma outra declaração) 

 

Um exemplo de argumento: A geladeira está gelada. A garrafa, ao ser exposta a geladeira, congela. O frio é transmitido para a água. O frio faz com que as moléculas se congelem e a água vira gelo...

A conclusão: A água vira gelo.

Como vimos a conclusão é o “produto final” do processo lógico, que tem as premissas como “matéria-prima”. É o “de quê se está falando”, dentro de uma argumentação, nem sempre estará explícita, às vezes, ela pode estar oculta, induzidos a chegar na conclusão do autor do argumento quer que cheguemos.


Fonte: https://www.andremassaro.com.br/o-que-e-um-argumento/

 

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 i 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 especifica. E, por fim, seria necessário por estabelecer uma conexão entre todas as premissas. Existem várias formas diferentes de silogismos: os regulares, os irregulares e os hipotéticos.

 

Os silogismos irregulares são versões abreviadas ou ampliadas dos silogismos regulares, e são subdivididos em quatro categorias: entima, epiquerema, polissilogismo e sorites.

                Entima: Silogismo incompleto, quando existe uma premissa subentendida.

                Epiquerema: silogismo estendido, quando as premissas são acompanhadas de provas.

                Polissilogismo: dois ou mais silogismos em que a conclusão das primeiras premissas seja a preposição do próximo silogismo.

                Sorites: uma argumenta~]ao composta po quatro preposições que são encadeadas até se chegar à conclusão.

 

Também existem os silogismos hipotéticos, são eles: condicionais, disjuntivos e os dilemas

                Condicionais: silogismo que não afirma e nem nega as premissas

                Disjuntivos: silogismo formado por uma premissa que se apresenta como alternativa.

                Dilema: silogismo argumentativo onde são apresentadas duas possíveis hipóteses, em que nenhuma é desejável.


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

Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.

Exemplo: Se eu tiver dinheiro, irei viajar. Se eu for viajar, ficarei feliz. Portanto, se eu tiver dinheiro, ficarei feliz

O silogismo como já vimos é um modelo de raciocínio baseado na ideia da dedução a partir de duas premissas, ou seja, é um tipo de inferência

A inferência causal acontece ao se estabelecer uma relação de causalidade (causa e efeito) entre fatos, a partir da observação de acontecimentos.

Exemplo: Está chovendo. Depois da chuva vem o sol. Então, o sol deve aparecer logo.

As regras de inferência são métodos usados para fazer uma dedução e chegar a uma conclusão, a partir de uma ou mais premissas conhecidas. São usados os argumentos básicos (premissas) para se chegar a um valor (conclusão).

Exemplos

·         Todo cachorro é bonito. Marley é um cachorro. Logo, Marley é bonito.

·         Se X > 5 = P e X < 1 = P, então X > 5 = X < 1.

Nesse caso X > 5 = P e X < 1 = P são as premissas e X > 5 = X < 1 é a conclusão.

Inferência textual está relacionada à compreensão da leitura. Significa interpretar os elementos que estão explícitos e implícitos no texto, analisando em conjunto tudo que foi escrito e compreendendo a ideia central do texto. A inferência textual pode requerer algum conhecimento prévio sobre o tema da leitura.

Fonte:https://www.significados.com.br/inferencia/

Uma falácia lógica é uma afirmação que pode parecer à primeira vista verdadeira, mas, depois de aplicar as regras da lógica, não é. Falácias lógicas muitas vezes podem ser tentativas de enganar as pessoas e fazê-las acreditar em algo que não é necessariamente verdade.

Se você usa uma falácia lógica, desacredita-se ao parecer desonesto ou tolo. Você não quer ser vítima de uma falácia lógica, pois as conclusões falsas podem fazer com que você tome decisões que você mais tarde se arrepende.

Temos alguns tipos de falácia, são elas a apelação à ignorância, composição e a divisão, citando alguns exemplos

                Apelação à ignorância: Neste caso, queremos que se aceite uma conclusão por não se encontrar provas em contra ao argumento.

Exemplos: Existem fantasmas na casa de Pedro.

Ninguém pode contestar esta afirmação porque não é possível provar, concretamente, a existência dos fantasmas.

                Composição: Consiste em atribuir características próprias de um elemento ao todo que se integra.

Exemplo: João joga muito bem futebol e assim seu time ganhará sempre.

O fato de João jogar bem, não significa que toda sua equipe também fará o mesmo.

                A Divisão: Ao contrário da composição, consiste em dar características do todo apenas um elemento.

Exemplo: O Barcelona é o melhor time do mundo e João será um ótimo jogador ali.

Neste caso, não basta que o Barcelona seja uma ótima equipe para fazer um indivíduo ser um bom atleta ali. Muitas vezes é exatamente o contrário.

Fonte: https://www.todamateria.com.br/falacia/