Lógica Computacional by Brenon Fellipe Gonçalves https://padlet.com/brenonfellipe/m3o9fezciiriks9q Breve explicação sobre o assunto e conectivos en-us 2021-08-23 21:56:33 UTC 2025-10-28 16:04:17 UTC hello@padlet.com https://padlet.net/icons/png/1f5a5.png A Lógica Computacional é a utlização do raciocínio lógico no campo da computação. Estuda os argumentos, suas premissas e conclusões. brenonfellipe https://padlet.com/brenonfellipe/m3o9fezciiriks9q/wish/1692068013 2021-08-23 22:08:19 UTC https://padlet.com/brenonfellipe/m3o9fezciiriks9q/wish/1692068013 Conectivos: brenonfellipe https://padlet.com/brenonfellipe/m3o9fezciiriks9q/wish/1692068875 São termos utilizados para formar proposições compostas a partir de proposições simples.

Estes são utilizados em forma de símbolos ou caracteres que substituem palavras e/ou letras.
Por exemplo: sabendo que a negação é representada pelo símbolo (conectivo) "~" podemos colocar o sentido de negação na seguinte frase dada:

      p: Jean sabe jogar futebol.

Utilizando o conectivo de negação fica:
     p: Jean sabe jogar futebol.
  ~p: Jean não sabe jogar futebol.

]]> 2021-08-23 22:09:21 UTC https://padlet.com/brenonfellipe/m3o9fezciiriks9q/wish/1692068875 Outros conectivos brenonfellipe https://padlet.com/brenonfellipe/m3o9fezciiriks9q/wish/1692208023 Além do conectivo de negação, já apresentado, existem outros, mostrados na tabela acima juntamente com sua função.

]]> 2021-08-24 00:13:42 UTC https://padlet.com/brenonfellipe/m3o9fezciiriks9q/wish/1692208023