Fórum Logica Computacional! by Raimundo Silva

O que é lógica?

raimundosilvw2014 — 2022-08-23 02:34:50 UTC

A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.

Na computação é a forma mais viável de resolver um problema e mostrar uma solução viável e com eficiência. A mesma é um dos passos importante na formação inicial de um programador, uma boa lógica terá ótimas soluções na hora de solucionar problemas em códigos.

O que é Proposição?

raimundosilvw2014 — 2022-08-23 02:37:23 UTC

A lógica preza por clareza e distinções conceituais são fundamentais para isso. Considere a mesma sentença declarativa dita por duas pessoas diferentes, uma gorda e outra magra:

eu sou gordo.

Essa sentença é verdadeira ou falsa? Se pensamos que sentenças são verdadeiras ou falsas, teremos que concluir que a frase “eu sou gordo” é verdadeira e falsa ao mesmo tempo: quando dita pela pessoa magra, falsa; pela pessoa gorda, verdadeira. O que seria uma contradição. Então, há algo expresso pela sentença, seu conteúdo, que não é equivalente à sentença, que é verdadeiro ou falso.

Então, por motivos de clareza, existe essa distinção:

Sentenças declarativas são frases em uma determinada língua, gramaticalmente corretas, com um sentido.
Proposições são o conteúdo expresso por sentenças declarativas e que pode ser verdadeiro ou falso.

Assim, diferentes sentenças podem expressar a mesma proposição:

o carro é vermelho;
the car is red;
el coche es rojo;

embora sejam sentenças diferentes, inclusive em outra língua, exprimem a mesma proposição – se uma é verdadeira, todas são.

O que são Premissas?

raimundosilvw2014 — 2022-08-23 02:40:15 UTC

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. Em lógica a premissa significa cada uma das proposições de um silogismo.

Dependendo do contexto em que é usada a palavra premissa pode ter como sinônimos, por exemplo: princípio, ideia inicial, alegação, enunciado ou argumento.

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.

O que são Argumentos?

raimundosilvw2014 — 2022-08-23 02:42:04 UTC

Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida, por exemplo.

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.

Por norma, os argumentos servem principalmente para provar alguma coisa, como um ponto de vista, uma decisão ou ideia. Seu objetivo, neste caso, consiste em justificar determinado objeto que é causa de um debate.

O que é Silogismo?

raimundosilvw2014 — 2022-08-23 02:44:12 UTC

O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas.

Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira.

´O que é Falácia?

raimundosilvw2014 — 2022-08-23 02:45:46 UTC

Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.

A falácia foi um recurso utilizado por Aristóteles, pela Escolástica, pela Demagogia e serve como figura de linguagem em discursos e temas argumentativos.

O que é inferência? Quais os tipos?

raimundosilvw2014 — 2022-08-23 02:49:34 UTC

Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.

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 é um modelo de raciocínio baseado na ideia da dedução a partir de duas premissas, ou seja, é um tipo de inferência.

Regras de inferência

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

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.

Inferência estatística

A inferência estatística obtém conclusões a partir de dados de amostra coletados. Estes dados são utilizados como base para se concluir sobre uma determinada situação ou hipótese. É o que acontece, por exemplo, com a coleta de dados feita no censo demográfico.