Vanusa da Rocha by Vanusa Rocha https://padlet.com/vanusabiomed/5w9d55li2sg87cpx en-us 2022-08-10 19:08:17 UTC 2022-08-10 21:10:36 UTC hello@padlet.com Lógica computacional vanusabiomed https://padlet.com/vanusabiomed/5w9d55li2sg87cpx/wish/2258439349 O que é logica computacional?
Primeiramente, lógica é a ciência do raciocínio
Logo os computadores recebem sequências para chegar a uma determinada tarefa, através da lógica computacional.

Partindo de argumentos (conjunto de fatos- premissas nas quais atribuímos valores de verdadeiro ou falso) indutivo (não tem garantia de conclusão) ou dedutivo (chega a uma conclusão).
Os argumentos dedutivos, através de axiomas ou postulados que são fatos que não precisam ser demostrados ou provados, tento uma dedução, chegando a uma sentença, proposição ou premissa, enunciado ou regra.

Postulados clássicos da Lógica computacional:

  • Princípio da identidade: tudo é igual a si mesmo (A=A)
  • Princípio da não-contradição: duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo (A ≠ ¬A  ou ¬B≠B ou ¬(p^¬p)
  • Princípio do terceiro excluído: ou a afirmação é verdadeira ou sua negação é verdadeira, complementar ao princípio da não contradição, onde A é verdade ou ¬A é verdade.



]]> 2022-08-10 19:10:52 UTC https://padlet.com/vanusabiomed/5w9d55li2sg87cpx/wish/2258439349