Lógica Computacional by Henrique Candido https://padlet.com/h_corradi94/forumlist3058242601 Lógica Computacional en-us 2021-08-06 21:59:01 UTC 2021-08-16 22:46:54 UTC hello@padlet.com https://padlet.net/icons/png/1f4a1.png h_corradi94 https://padlet.com/h_corradi94/forumlist3058242601/wish/1681085671
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.

Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve.

Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.

]]> 2021-08-16 22:28:31 UTC https://padlet.com/h_corradi94/forumlist3058242601/wish/1681085671 Princípios Lógicos h_corradi94 https://padlet.com/h_corradi94/forumlist3058242601/wish/1681088514 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.

]]> 2021-08-16 22:33:20 UTC https://padlet.com/h_corradi94/forumlist3058242601/wish/1681088514 h_corradi94 https://padlet.com/h_corradi94/forumlist3058242601/wish/1681095115 I. Período Aristotélico.
Caracteriza-se como uma ciência cuja essência era a teoria do silogismo (certa forma de argumento válido). Corresponde à chamada Lógica Clássica, regida, basicamente, por três princípios: o da identidade, o da não contradição e o do terceiro excluído.

II. Período Booleano.
Caracteriza-se pelo desenvolvimento da Lógica Formal, também chamada de Lógica Simbólica, na qual símbolos computáveis substituem palavras e proposições.

III. Período Atual.
Caracteriza-se pelo desenvolvimento de sistemas formais polivalentes, que trabalham não apenas com os valores lógicos verdadeiro e falso, mas também com imprecisões e contradições, assumindo outros possíveis valores lógicos para as proposições.




]]> 2021-08-16 22:44:33 UTC https://padlet.com/h_corradi94/forumlist3058242601/wish/1681095115