Lógica Computacional by Renan Marques Bezerra https://padlet.com/renanmarquess445/edk0on320d7n5lud Definições Fundamentais en-us 2022-08-02 12:56:16 UTC 2026-01-25 17:53:52 UTC hello@padlet.com https://padlet.net/icons/png/1f5a5.png é o uso da lógica para realizar ou raciocinar sobre a computação. Ele tem uma relação semelhante com a ciência da computação e a engenharia, assim como a lógica matemática com a matemática e a lógica filosófica com a filosofia. É sinônimo de " lógica na ciência da computação ".O termo “lógica computacional” ganhou destaque com a fundação da ACM Transactions on Computational Logic em 2000.[1] No entanto, o termo foi introduzido muito antes, por JA Robinson em 1970.[2] A expressão é usada no segundo parágrafo com uma nota de rodapé afirmando que "lógica computacional" é "certamente uma frase melhor do que 'prova de teorema', para o ramo da inteligência artificial que trata de como fazer as máquinas fazerem deduções com eficiência". renanmarquess445 https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253437752 2022-08-02 13:09:08 UTC https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253437752 Uma proposição é um pensamento Em forma de frase declarativa. Proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras. Portanto, temos que as premissas podem ser verdadeiras ou falsas. Se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir se a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido. renanmarquess445 https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253442811 2022-08-02 13:19:47 UTC https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253442811 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. necessário expor todas as razões que levaram a conclusão lógica como forma de convencimento, ou seja, mostrar o fundamento do argumento. Quando se fala em Validade de um Argumento, as premissas são consideradas provas evidentes da verdade da conclusão, caso contrário não é válido. renanmarquess445 https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253446436 2022-08-02 13:26:20 UTC https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253446436 Argumento: conjunto de enunciados que se relacionam uns com os outros. renanmarquess445 https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253448658 2022-08-02 13:29:57 UTC https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253448658 Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas. renanmarquess445 https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253450308 2022-08-02 13:33:07 UTC https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253450308 Falácia: consiste em argumentos que logicamente estão incorretos. renanmarquess445 https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253450886 2022-08-02 13:34:00 UTC https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253450886 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. renanmarquess445 https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253452842 2022-08-02 13:37:29 UTC https://padlet.com/renanmarquess445/edk0on320d7n5lud/wish/2253452842