Lógica Computacional by Vanessa Santos

Lógica Computacional

vsantos264 — 2021-08-04 17:24:36 UTC

É a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos.

Lógica

vsantos264 — 2021-08-04 17:36:44 UTC

Lógica, tem dois significados principais: o raciocínio e nas disciplinas de filosofia, matemática e ciência da computação.
Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos.

Computacional

vsantos264 — 2021-08-04 17:45:54 UTC

A computação pode ser definida como a busca de solução para um problema a partir de entradas (inputs), de forma a obter resultados (outputs) depois de processada a informação através de um algoritmo.
Algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.

A lógica no nosso cotidiano

vsantos264 — 2021-08-04 18:06:45 UTC

Não importa qual o seu ramo de atuação ou aptidão, estamos tão inseridos num mundo tecnológico que o pensamento computacional faz parte da nossa rotina e a gente nem percebe.
Exemplo: Muitas vezes, para decidir qual meio de transporte vai ser usado para ir a um determinado lugar, se faz uma análise do percurso, uso de estacionamento, gasto com combustível.
Para tratar um paciente doente, o médico precisa resolver problemas menores como efetuar o diagnóstico, definir o tratamento, abordar efeitos colaterais, etc.

Tabela Verdade

vsantos264 — 2021-08-04 20:49:17 UTC

Conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, de modo que se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: verdadeiro ou falso.

Tabela verdade ou tabela de verdade é uma ferramenta de natureza matemática muito utilizada no campo do raciocínio lógico. Seu objetivo é verificar a validade lógica de uma proposição composta (argumento formado por duas ou mais proposições simples).

Proposições SIMPLES: aquelas que vêm sozinhas, desacompanhadas de outras proposições: São geralmente designadas por letras minúsculas p, q, r ...
Ex: p = Todo homem é mortal / q = O novo papa é alemão.

Proposições COMPOSTAS: duas ou mais proposições conectadas entre si, formando uma só sentença. Habitualmente designadas por letras maiúsculas P, Q, R ...
Ex: João é médico e Pedro é dentista.

Conectivos lógicos

vsantos264 — 2021-08-04 20:51:45 UTC

Conectivos Lógicos são expressões que servem para unir duas ou mais proposições:

Os conectivos são representados da seguinte forma:
~ corresponde a “não”
Λ corresponde a “e”
ν corresponde a “ou”
=> corresponde a “então”
<=> corresponde a “se e somente se”

Com duas proposições ou mais, podemos formar:
Conjunções: a Λ b (lê-se: a e b)
Disjunções: a ν b (lê-se: a ou b)
Disjunções exclusiva: a V b (lê-se: ou a ou b)
Condicionais: a => b (lê-se: se a então b)
Bicondicionais: a <=> b (lê-se: a se e somente se b)