LÓGICA COMPUTACIONAL by Sheila Vasconcelos https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor Criado por uma caçadora de conhecimento en-us 2021-08-22 23:32:05 UTC 2023-01-28 03:24:05 UTC hello@padlet.com https://padlet.net/icons/png/1f4da.png FUNDAMENTOS DA LÓGICA sheilavasconcelosn https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689815659 Assim como todo temática tem seu vocabulário característico, com a lógica computacional não difere, essa possue termos que são importantícimas para sua compreenção, tais como os seguintes:
  1. Proposições: que são frases declarativa.
  2. Premissas: que são frases declarativas (proposições) fundadas em um raciocínio.
  3. Argumento: que é um conjunto de enuciados que se relacionam um com os outros..
  4. Silogismo: que é um raciocínio dedutivo, que possibilita a dedução de uma conclusão a partir de premissas.
  5. Falácia: que consiste em argumentos logicamente incorretos.

]]> 2021-08-22 23:58:54 UTC https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689815659 TIPOS DE LÓGICA sheilavasconcelosn https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689882298 A lógica subdivide-se em algumas partes, tais como: 
  1. Lógica formal: é a lógica que analisa e representa a forma de qualquer argumento para que se possa ser considerada uma conclusão, porém ela não define a veracidade de uma proposição, mas tal preposição será definida verdadeira ou falsa de acordo com a veracidade de suas premissas.  Logo:
Premissas verdadeiras ----->  conclusões verdadeiras
Lógica simbólica: é a lógica relacionada a matemática, ela expressas as premissas e suas relações por meio de símbolos matemáticos.

Lógica transcendental: é a lógica que opera a partir das representações dos conceitos (sentidos) e não das coisas em si. Baseada no pensamento do filósofo Immanuel Kant.

Lógica dedutiva: é a lógica parte a partir de premissas afirmativas ou leis gerais obtendo verdades menos gerais ou particulares. 
Ex: 
"Todo analista de sistemas sabe progrmar"
"Sheila é analista de sistemas"
"Sheila sabe programar"

Lógica indutiva: é a lógica que se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Porém um único contra argumentos é capaz de invalidar todo o raciocínio.
Ex:
"Mariana é enfermeira e sabe usar todos os utecílios médicos"
"Lucas é enfermeiro e sabe usar todos os utecílios médicos"
"Amanda é enfermeira e sabe usar todos os utecílios médicos"
"Portanto, todos os enfermeiros sabem usar todos os utecílios médicos"
 

]]> 2021-08-23 00:36:47 UTC https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689882298 CONECTIVOS LÓGICOS sheilavasconcelosn https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689918935 Na lógica computacional existem os chamados conectivos lógicos, os quais tem a finalidade de unir as proposições compostas e influenciar na sua valoração, os quais são:

não : que terá valor falso quando a proposição for verdadeira e vice-versa.

e : que será verdadeira somente quando todas as proposições forem verdadeiras.

ou : será verdadeira quando pelo menos uma das preposições forem verdadeiras.

ou, ou : (disjunção exclusiva) verdadeira se e somente se as preposições forem diferentes.

se ... então : será falsa quando a preposição antecedente for verdadeira e a consequente for falsa, e vice-versa.

se... e somente se : será verdadeira quando ambas as preposições forem verdadeiras, ou ambas falsas.

]]> 2021-08-23 00:54:30 UTC https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689918935 sheilavasconcelosn https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689937956 a imagem acima retrata a figura de George Boole, o inventor da lógica booleana, a qual utiliza apenas dois dígitos: 0 e 1. ]]> 2021-08-23 01:02:59 UTC https://padlet.com/sheilavasconcelosn/i59ii0z3vjnc2wor/wish/1689937956