logica computacional

A importância das estruturas discretas em um curso de computação, se torna mais evidente a cada ano que passa, na última reformulação do curso de computação realizada em 2001 que ocorreu em nos Estados Unidos e elaborado em conjunto pelo Institute for
Electrical and Eletronic Engineers/Computer Society (IEEE/CS) e pela Association for
Computing Machinery (ACM), onde o relatório pode ser encontrado em www.acm.org/sigse/cc2001/ . CC2001 identifica um conjunto de conteúdos curriculares em um curso de computação, e descreve que as estruturas discretas como material
“fundamental”.
A importância do pensamento lógico, o poder da notação matemática e a utilidade de abstrações continuam a ligar o que poderia parecer, uma coleção de tópicos disjuntos, no entanto durante o curso a disciplina é uma das menos valorizadas na época em que são feitas. O livro que utilizo como base tem um site em www.whfreeman.com/gersting que pode ser acessado utilizando a senha logic.
Lógica Formal
Você foi convocado a participar do júri em um processo criminal. O advogado de defesa argumenta o seguinte:
Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca não estava na gaveta ou Jason viu a faca. Se a faca não estava lá no dia 10 de outubro, segue que Jason não viu a faca. Além disso, se a faca estava lá no dia 10 de outubro, então a faca estava na gaveta e o martelo estava no celeiro. Mas todos sabemos que o martelo não estava no celeiro. Portanto, senhoras e senhores do júri, meu cliente é inocente.
Pergunta: O argumento do advogado está correto? Como você deveria votar?
Note que a fala do advogado parece um tanto confusa, e que para poder responder essa pergunta seria interessante reescrever o argumento, mas daí que aparece a primeira pergunta o que é argumento?, com lógica formal. A vantagem de reescrever na forma de lógica formal, é que fornece as bases para o método de pensar organizado e cuidadoso que caracteriza qualquer atividade racional – como uma investigação criminal,