Lógica Computacional by hold https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga en-us 2022-08-22 20:55:40 UTC 2022-08-22 21:55:33 UTC hello@padlet.com Lógica gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267924835 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.
Aristóteles desenvolveu três princípios básicos que orientam a lógica clássica.

1. Princípio de identidade

Um ser é sempre idêntico a si mesmo: A é A. Se substituirmos A por Maria, por exemplo, fica: Maria é Maria.

2. Princípio da não-contradição

É impossível ser e não ser ao mesmo tempo, ou um mesmo ente ser também o seu oposto. É impossível que A seja A e não-A, ao mesmo tempo. Ou, seguindo o exemplo anterior: é impossível que Maria seja Maria e não seja Maria.

3. Princípio do terceiro excluído, ou terceiro excluso

Nas proposições (sujeito e predicado), só existem duas opções, ou é afirmativa ou negativa: A é x ou A é não-x. Maria é professora ou Maria não é professora. Não existe uma terceira possibilidade.

]]> 2022-08-22 21:28:25 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267924835 Proposição gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267925238 Em uma argumentação, aquilo que é dito e possui a forma de sujeito, verbo e predicado é chamado de proposição. As proposições são enunciados, afirmações ou negações, e possuem sua validade, ou falsidade, analisada logicamente.

A partir da análise de proposições, o estudo da lógica torna-se uma ferramenta para o correto pensar. O pensar corretamente necessita de princípios (lógicos) que garantam sua validade e verdade.
]]> 2022-08-22 21:29:01 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267925238 Premissas gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267927528 Premissa é 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.]]> 2022-08-22 21:32:55 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267927528 Argumento gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267932860 Um argumento é um conjunto de afirmações conectadas das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar  que a outra (a conclusão) é verdadeira. Assim, para termos um argumento precisamos de premissas e conclusões.]]> 2022-08-22 21:41:56 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267932860 Silogismo gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267933276 A partir desses princípios temos um raciocínio lógico dedutivo, ou seja, a partir de duas certezas prévias (premissas) chega-se a uma conclusão nova, que não está diretamente referida nas premissas. Isso é chamado de silogismo.

Exemplo:

Todo homem é mortal. (premissa 1)

Sócrates é homem. (premissa 2)

Logo, Sócrates é mortal. (conclusão)

Essa é a estrutura básica do silogismo e o fundamento da lógica.

]]> 2022-08-22 21:42:41 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267933276 Falácia gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267935057 Falácias são argumentos que têm a pretensão de ser corretos e conclusivos mas que, no entanto, possuem algum erro em sua estrutura ou seu conteúdo. São majoritariamente encontradas em pensamentos envolvendo maus raciocínios ou ilusões que fazem com que um mau argumento pareça adequado quando, na verdade, é frágil ou inconsistente. Também podem ser chamadas sofismas, que são raciocínios elaborados maliciosamente a fim de enganar o interlocutor, ou paralogismos, que são raciocínios falsos mas, diferentemente dos sofismas, sem a intenção de enganar.]]> 2022-08-22 21:45:21 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267935057 Inferência gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267938611 Inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras. Consiste, portanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras.]]> 2022-08-22 21:52:04 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267938611 No cotidiano gabrioliveira1991 https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267940578 No cotidiano a lógica é frequentemente usada, para fazer decisões pequenas ou grandes em nossas vidas. É também muito útil no mundo da programação, pois facilita muito ao escrever códigos.]]> 2022-08-22 21:55:24 UTC https://padlet.com/gabrioliveira1991/gfjdrakc9thez2ga/wish/2267940578