LOGICA COMPUTACIONAL by Aline Cunha https://padlet.com/alinemec/725pnz1od66etf55 en-us 2022-09-30 12:03:07 UTC 2022-09-30 13:29:59 UTC hello@padlet.com O que é lógica? alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320951488 Conceitos da Lógica Computacional]]> 2022-09-30 12:14:46 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320951488 alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320958176 A lógica computacional é 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. Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional.]]> 2022-09-30 12:20:04 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320958176 Proposição: alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320972338 É simples se, e somente se, contiver uma única afirmação.]]> 2022-09-30 12:31:21 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320972338 alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320973928 São ligadas por conectivos]]> 2022-09-30 12:32:33 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320973928 Conjunção alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320974836 2022-09-30 12:33:20 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320974836 Disjunção alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320975716 2022-09-30 12:34:02 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320975716 Condicional alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320976764 2022-09-30 12:34:44 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320976764 Bicondicional alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320977336 2022-09-30 12:35:12 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320977336 Negação alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320978183 É unário]]> 2022-09-30 12:35:48 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320978183 Proposição alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320980637 É uma sentença declarativa que assume um dos dois valores-verdade: (V) ou (F).]]> 2022-09-30 12:37:36 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320980637 Proposição alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320981596 As proposições podem ser substituídas por letras maiúsculas do alfabeto latino: A, B, ... ,Z.]]> 2022-09-30 12:38:19 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320981596 Princípio da Identidade alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2320999071 Uma proposição Verdadeira é Verdadeira, e uma proposição Falsa é Falsa]]> 2022-09-30 12:51:31 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2320999071 Princípio do Terceiro Excluído alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321014001 Uma proposição ou é verdadeira ou falsa não existindo uma terceira possibilidade.]]> 2022-09-30 13:02:49 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321014001 Princípio da Não-Contradição alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321015560 Uma proposição não pode ser verdadeira e falsa simultaneamente.]]> 2022-09-30 13:03:55 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321015560 Premissas alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321027286 as premissas são o ponto de partida de um raciocínio , isto é, aquilo que já sabemos ou que nos foi dito ou dado, e de onde começa nosso trabalho dedutivo. As pistas, figurativamente, que um detetive precisa reunir para chegar a uma determinada conclusão, ou seja, os antecedentes , as hipóteses .]]> 2022-09-30 13:12:12 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321027286 Argumento alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321035567 Argumentos são ideias lógicas relacionadas entre si e com o propósito de esclarecer e resolver determinada situação ou dúvida]]> 2022-09-30 13:17:15 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321035567 alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321036695 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.

]]> 2022-09-30 13:18:01 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321036695 Silogismo alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321039589 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.]]> 2022-09-30 13:19:54 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321039589 Falácia alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321042379 Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.

A palavra tem origem no termo em latim “fallacia”, aquilo que engana ou ilude.]]> 2022-09-30 13:21:44 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321042379 Inferência alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321048941 Um inferência é uma conclusão ou opinião que é alcançada levando-se em conta evidências ou fatos conhecidos. Na lógica, uma inferência é definida como o processo de derivar conseqüências lógicas das suposições assumidas.]]> 2022-09-30 13:25:52 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321048941 Dedução alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321050922 Dedução é o processo de derivar uma conclusão dos axiomas e fatos dados. Isto é, tirar uma conclusão com base no conhecimento e observações disponíveis.

A conclusão pode ser tirada aplicando a regra modus ponens. Esta regra de inferência afirma que, se sabemos que P e P → Q são verdadeiras, podemos concluir que Q também deve ser verdadeiro. A inferência por dedução é também conhecida como inferência lógica.

]]> 2022-09-30 13:27:11 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321050922 Indução alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321052570 Indução implica derivar uma regra geral (também chamada de axioma) de observações particulares ou específicas.

Esse tipo de raciocínio é o oposto do dedutivo. Basicamente, significa extrair as conclusões ou inferências de vários dados, indo do específico para o geral. Os cientistas usam o raciocínio indutivo para formar hipóteses e teorias.]]> 2022-09-30 13:28:07 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321052570 Abducção alinemec https://padlet.com/alinemec/725pnz1od66etf55/wish/2321055039 Conjunto incompleto de observações, resultando na explicação mais provável possível.

Baseia-se em fazer e testar hipóteses usando as melhores informações disponíveis. Frequentemente envolve fazer uma suposição depois de observar um fenômeno para o qual não há uma explicação clara.

]]> 2022-09-30 13:29:42 UTC https://padlet.com/alinemec/725pnz1od66etf55/wish/2321055039