Ciências da computação dia 17
### Lógica
Aristóteles (322 a.C. --- 384 a.C.)
- abiogênese → coisas sem vida dão origem a coisas com vida (teoria de 350 a.C. até 1862 d.C.)
- Pai da escola aristoteliana → antes as pessoas que queriam aprender algo elas iam atrás de filósofos e ficavam andando com ele, agora com a escola aristoteliana você fica em um local parada e um grupo de pessoas ficam discutindo sobre coisas, modelo usado até hoje
- Pai da lógica → silogismo → uma premissa (informação) e a partir dessa premissa se faz uma inferência (interpretação)
sofismas → mentiras → uma interpretação pode gerar
sofistas → pessoas com o dom da oratória mas mentem
exemplo de sofisma
Quem não trabalha tem muito tempo livre.
Tempo é dinheiro
Então quem não trabalha é rico.
exemplo retirado de https://brainly.com.br/tarefa/21378636
Em 1806 Augustus Morgan transformou a lógica em simbologia matemática
tabela verdade
o numero n de linhas para um tabela verdade vai depender do numero de combinações de sua proposições (p, q e r nesse caso) então para achar esse numero faça 2^número de proposições