https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3 en-us 2022-08-20 03:11:53 UTC 2022-08-20 03:23:32 UTC hello@padlet.com https://padlet.net/icons/png/1f5a5.png carlosrafaelclavijo https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265991800 A Lógica Computacional precisa de diversos fatores para funcionar e junto de conceitos e verbos como (símbolos, linguagens, e frases para chegar em uma única conclusão sendo verdadeira ou falsa ou em símbolos e números matemáticos (V ou F) (1 ou 0). 

deixando aqui alguns conceitos e verbos como:

• Proposição: consiste em um enunciado, uma frase declarativa.
• Premissas: consistem 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.
• Falácia: consiste em argumentos que logicamente estão incorretos.
• Lógica Formal: Começa nos estudos de Aristóteles, na Grécia Antiga. A lógica é 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, como veremos a seguir, pode ser de dois tipos: indutiva e dedutiva. Uma inferência inválida é chamada falácia. 
• Conhecimento Empírico:  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 objeto. 
•  Conhecimento Puro: 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.
  
  
• ¬ (Negação) (Não)
• ∧ (Conjunção ‘’e’’)
• V (disjunção ‘’ou’’)
• > (Maior)
• + (O mais pode ser ‘’ou’’ na lógica) álgebra booleana
• x (Multiplicação pode ser ‘’e’’ na lógica) álgebra  booleana
• → (Implicação/condicional ‘’se...então)
• ↔ (Bicondicional/ se. e somente...) 

]]> 2022-08-20 03:14:39 UTC https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265991800 carlosrafaelclavijo https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265992058
Dez do principio da era computacional já existe diversas formas de se trabalhar, e de se desenvolver para a criação de software nos tempos antigos até os tempos atuais. 
Entre tanto houve mudanças e evoluções para facilitar o desenvolvimento e criação de novos projetos para facilitar a vida humana. 

Todos os dias lidamos com logicas seja para andar, seja para ouvir musica, assistir um filme ou até mesmo mexer no celular e etc...

A logica pode denotar tanto um conjunto de regras racionais para a obtenção de um conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e matemáticas.

Então... Contudo no dia a dia lidamos com logica, e vem de nós mesmo saber como entender, utilizar e resolver, na área de desenvolvimento de sistema. ]]> 2022-08-20 03:15:34 UTC https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265992058 carlosrafaelclavijo https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265992741

Uma proposição é aquilo que é expresso através de sentenças declarativas e que é verdadeiro ou falso.
Diferentes sentenças podem expressar a mesma proposição quando têm o mesmo significado. Por exemplo, "A neve é branca" e "Snow is white" são sentenças diferentes, mas ambas dizem a mesma coisa, a saber, que a neve é branca. Logo, expressam a mesma proposição.

]]> 2022-08-20 03:17:49 UTC https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265992741 carlosrafaelclavijo https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265993087 O que são Premissas?

Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constitui-se de duas partes: uma coleção de premissas, e uma conclusão.

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.

Uma dada fórmula pode ou não ser conclusão de uma dada coleção de premissas. Isto depende da Lógica ou do sistema lógico considerado.

]]> 2022-08-20 03:18:53 UTC https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265993087 carlosrafaelclavijo https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265993486 O que são Argumentos?

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.

]]> 2022-08-20 03:19:48 UTC https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265993486 carlosrafaelclavijo https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265994300 O que é inferência? Quais os tipos?

São sentidos que cada indivíduo atribui a um argumento a partir de seu próprio conhecimento, do próprio gênero do texto, podem ter interferência antropológicos e psicológicos.
Ex.:
"Aberto aos domingos."
Poderíamos supor que esse estabelecimento só abre aos domingo, ou que ele também abre aos domingos, ou que este estabelecimento abre todos os dias da semana.
Existem três tipos de inferência, as dedutivas, indutivas e as abdutivas.
A inferência dedutivas inicia com certas premissas, dadas como verdadeiras, e derivam de uma conclusão como uma consequência lógica das premissas.
Ex.:
Tulipas são plantas.
Plantas produzem energias com fotossíntese.
Tulipas produzem energia com fotossíntese
A inferência indutiva inicia com várias observações concretas chegando a uma conclusão genérica.
A inferência abdutiva é concluída a partir do consequente, a partir de chutes.

]]> 2022-08-20 03:22:09 UTC https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265994300 carlosrafaelclavijo https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265994701 O que é silogismo?

É um argumento lógico, é um tipo de construção de pensamento formado por uma estrutura de 3 frases, formado por duas premissas e uma conclusão. Para que seja considerado um silogismo, a primeira frase terá que ter uma ideia ampla, uma generalização (premissa maior). A segunda premissa irá tratar de um único elemento, ou um único indivíduo (premissa menor).
Ex.:
Todo homem é mortal.
Sócrates é homem.
Logo, Sócrates é mortal.

]]> 2022-08-20 03:23:25 UTC https://padlet.com/carlosrafaelclavijo/q0v9sprlddeczee3/wish/2265994701