Lógica Computacional by Gabriel Marques

fiineed — 2022-08-02 20:48:04 UTC

Preposição <- Consiste em um enunciado, uma frase;

Premissas <- Consiste em 'proposições' que são utilizadas como base para um raciocínio. Pode se dizer que são as proposições do "Silogismo";

Silogismo <- Consiste em um raciocínio dedutivo(premissas) e possibilita a dedução de uma conclusão a partir das 'premissas';

Argumento <- Conjunto de enunciados(frases) que se relacionam uns com os outros;

Falácia <- Consiste em argumentos não válidos (inverdades);

fiineed — 2022-08-02 21:06:36 UTC

Lógica Formal <- é dita formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão;

Inferência <- é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. A inferência pode ser de dois tipos, indutiva e dedutiva. Uma inferência inválida é chamada de falácia.

fiineed — 2022-08-02 21:11:03 UTC

Lógica Transcendental <- opera a partir de representações dos conceito e não das coisas em si. Trata-se de uma investigação sobre as representações a priori, as categorias os conceitos puros em relação aos objetivos, enquanto a lógica geral se volta para a forma logica do pensamento.

Conhecimento Empírico

fiineed — 2022-08-02 21:14:42 UTC

Também chamado conhecimento a posteriori está relacionado ao que é obtido por meio de nossos sentidos, à observação, à experimentação, com base na presença real de determinado objetivo.

Conhecimento Puro

fiineed — 2022-08-02 21:16:41 UTC

Também chamado de conhecimento a priori, é relativo à representação que não se mescla com a sensação, é puramente racional, não depende de nenhuma informação vinda de nossos sentidos;

fiineed — 2022-08-02 21:20:23 UTC

Lógica Dedutiva <- é aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.
EXEMPLO:

Todo o analista de sistemas sabe programar;
Gabriel é analista de sistemas;
-> Portanto, Gabriel sabe programar;

Com base na afirmativa geral, tomada como verdadeira, a conclusão é inevitável. Chamamos "SILOGISMO"  esse tipo de argumentação lógica.

fiineed — 2022-08-02 21:27:54 UTC

Lógica Indutiva <- se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares.

EXEMPLO:

Gabriel é analista de sistemas e sabe programar;
Gisele é analista de sistemas e sabe programar;
Harry é analista de sistemas e sabe programar;
(...)
-> Portanto, todos os analistas sabem programar;

Observe que , ao consultar dezenas de analistas, chegamos a uma conclusão geral com relação a eles.
_{^{Um único contra exemplo invalida o raciocínio.}}

fiineed — 2022-08-02 21:35:49 UTC

EXEMPLO DE PREPOSIÇÃO

Gabriel está feliz!

fiineed — 2022-08-02 21:39:09 UTC

EXEMPLO DE PREMISSAS

Gabriel não irá faltar na aula!

fiineed — 2022-08-02 21:41:21 UTC

EXEMPLO DE SILOGISMO

Todo homem é mortal.
Gabriel é homem.
Gabriel é mortal.

fiineed — 2022-08-02 21:45:13 UTC

EXEMPLO DE FALÁCIA

Nenhum homem presta.

fiineed — 2022-08-02 21:49:06 UTC

fiineed — 2022-08-02 21:51:51 UTC

fiineed — 2022-08-02 21:53:09 UTC

fiineed — 2022-08-02 21:54:29 UTC

fiineed — 2022-08-02 21:58:24 UTC

PERÍODO ARISTOTÉLICO

Nos referimos a Lógica Clássica, que é regida por 3 princípios:
- Identidade;
- Não Contradição;
- Terceiro Excluído.

fiineed — 2022-08-02 22:00:11 UTC

fiineed — 2022-08-02 22:02:56 UTC

IDENTIDADE:

Estabelece que todo objeto é idêntico a si mesmo.
Este princípio relata que qualquer proposição(frase) no formato "A é A" tem que ser verdadeira.

fiineed — 2022-08-02 22:05:23 UTC

NÃO CONTRADIÇÃO

Estabelece algo específico, ou seja, é impossível que ela seja e não seja ao mesmo tempo.
Significa que uma proposição(frase) não pode ser V e F ao mesmo tempo.

fiineed — 2022-08-02 22:07:06 UTC

TERCEIRO EXCLUÍDO

Afirma que toda proposição(frase) é verdadeira ou falsa, não havendo uma terceira possibilidade.

fiineed — 2022-08-02 22:09:56 UTC

PARADOXO

É um tipo de pensamento ou argumento que, apesar de aparentemente correto, apresenta uma conclusão ou consequência contraditória, ou em oposição a determinadas verdades aceitas.

fiineed — 2022-08-02 22:11:37 UTC

PERÍODO BOOLEANO

Utiliza Lógica Simbólica, símbolos computáveis substituem palavras e proposições(frases).

fiineed — 2022-08-02 22:13:04 UTC

EXEMPLO

0  = FALSO

1  = VERDADEIRO

fiineed — 2022-08-02 22:18:48 UTC

TEORIA DOS CONJUNTOS

UNIÃO  = U
INTERSECÇÃO  = ∩

Conectivos;

~        =  Negação
^         =  Conjunção // em programação AND ou & = "e"
v         =  Disjunção  inclusivo   or
->       =  Condicional  "se...,então..."
<->    =  BiCondicional  "se, e somente se, ..."

fiineed — 2022-08-02 22:28:32 UTC

fiineed — 2022-08-02 22:29:00 UTC

fiineed — 2022-08-02 22:29:26 UTC

fiineed — 2022-08-02 22:33:44 UTC

LISTAS

Utilizada para determinar quantos elementos existem em um conjunto finito.

EXEMPLO:

                      {2,4,8,16)
       1º elemento                 4º elemento

_P.S.:_{Pode conter elementos repetidos.}_Comprimento_->_Nº_{de elementos,}_{se = 0}_{. definir "}_{Lista Vazia}_"_{Par Ordenado}_->_{Apenas dois}_elementos;

fiineed — 2022-08-02 22:45:11 UTC

OUTRO TIPO DE LISTA

São listas de dois elementos em que há N escolhas para o primeiro elemento e, para cada uma dessas escolhas, há M escolhas do segundo elemento.
Então o número de tais listas é N x M

FÓRMULA:

n.(n-1).(n-2)...(n-n+1)=n.(n-1).(n-2)...(2).(1)
FATORIAL DE N-> N!
        Exemplo: 6!  =  6.5.4.3.2.1 = 720

fiineed — 2022-08-02 22:46:17 UTC

1!    = 1

0!   = 1

fiineed — 2022-08-02 22:48:01 UTC

ÁRVORE DE DECISÃO

É uma estrutura hierárquica que representa um mapeamento de possíveis resultados de uma série de escolhas relacionadas. Se inicia a partir de um nó de origem (nó raiz).

fiineed — 2022-08-02 22:50:58 UTC

AGRUPAMENTOS

Existem diferentes tipos de agrupamentos(ordenados ou não) chamados, Arranjos, Permutações e Combinações.

fiineed — 2022-08-02 22:59:18 UTC

ARRANJO

Dado conjunto com N elementos, chama-se arranjo dos N elementos, tomados P a P, a qualquer sequencia ordenada de P elementos distintos escolhidos entre os N existentes.

A_{n,p   =    N!
            (n-p)!}Exemplo:  conjunto A = {1,2,3,4};
Vamos determinar o Nº de arranjos desses quanto elementos (n=4)
Tomado dois a dois (p=2)

_{A4,2 = N! = 4! = 4! = 4.3.2.1 = 24 = 12
(n-p)! (4-2)! 2! 2.1 2}

fiineed — 2022-08-02 23:06:51 UTC

PERMUTAÇÃO

É um caso especial de ARRANJO !
Dado um conjunto com N elementos distintos selecionamos exatamente N elementos para formar a sequencia ordenada.

Exemplo:

A_6,6= N! = 6! = 6! = 6.5.4.3.2.1 = 720
(n-p)! (6-6)! 0! 1

fiineed — 2022-08-02 23:12:07 UTC

COMBINAÇÃO

Considera cada sequencia obtida com um conjunto não ordenado. Dado um conjunto com N elementos distintos, chama-se combinação dos N elementos, tomados P a P a qualquer subconjunto formado por P elementos distintos escolhidos entre os N existentes.

Exemplo:
N= 5 e P=2

C_n,p = n! 5! = 5! = 5.4.3.2.1 = 120 = 120 = 10 p!(n-p)! 2!(5-2)! 2!3! (2.1)(3.2.1) 2.6 12

fiineed — 2022-08-02 23:21:09 UTC

fiineed — 2022-08-03 00:09:52 UTC

DICA IMPORTANTE:

"Para diferençar o arranjo dos outros agrupamentos (a combinação e a permutação), é importante compreender que, na combinação, a ordem dos elementos no conjunto não é importante e que, no arranjo ela é. Além disso, na permutação, todos os elementos do conjunto estão envolvidos, já no arranjo, escolhemos parte do conjunto, no caso, expresso por p elementos do conjunto."

Veja mais em: https://brasilescola.uol.com.br/matematica/arranjo-simples.htm

fiineed — 2022-08-03 00:14:35 UTC

DICA IMPORTANTE

"Quando a ordem é importante, o problema é resolvido por meio de um arranjo. O arranjo (A, B) é um agrupamento diferente de (B, A). Desse modo, problemas que envolvem filas, pódio, senhas ou qualquer outra situação em que, ao mudar-se a ordem dos elementos, forma-se agrupamentos diferentes, são resolvidos utilizando a fórmula do arranjo.

Quando a ordem não é importante, o problema é resolvido por meio de uma combinação. A combinação {A, B} é o mesmo agrupamento que {B, A}, ou seja, a ordem dos elementos é irrelevante. Problemas envolvendo sorteio, amostras de um conjunto, entre outros, em que a ordem não é relevante, são resolvidos por meio da fórmula da combinação. Para saber mais detalhes sobre essa outra forma de agrupamento"

Veja mais em: https://brasilescola.uol.com.br/matematica/arranjo-simples.htm

fiineed — 2022-08-03 00:21:46 UTC

dnmizuno — 2022-08-05 15:27:15 UTC

dnmizuno — 2022-08-05 15:34:43 UTC