Slides do professo Celso Kaestner, complementados por mim, sobre Lógica Proposicional.
Obs.: foretemente baseados em SILVA, Flávio S. C. da; FINGER, Marcelo; MELO, Ana C. V. de. Lógica para Computação. São Paulo: Thomson Learning, 2006.
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
Logica Proposicional
1. Lógica Proposicional Slides da disciplina “Lógica para Computação” , ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. ( [email_address] ) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof. Adolfo Neto ( [email_address] ) Versão original disponível em http://www.dainf.ct.utfpr.edu.br/~kaestner/Logica/LogicaProposicional.ppt
6. Não trata de relações sobre elementos de um conjunto, como “todos”, “algum”, o que será visto mais adiante, no estudo da lógica predicativa. 12/06/09 Prof. Celso A A Kaestner
41. De modo similar B é conseqüência lógica de um conjunto de fbf ={ A 1 , A 2 … A n }, denotando-se por |= B sse para toda valoração V que satisfaz todas as fbf de também satisfaz B. 12/06/09 Prof. Celso A A Kaestner
42.
43.
44. Na prática para verificar se duas fbf são logicamente equivalentes basta construir as tabelas-verdade para A e B e verificar se as colunas para A e para B são idênticas;
46. Teorema: A B sse A B é tautologia. 12/06/09 Prof. Celso A A Kaestner
47.
48.
49.
50.
51.
52. | (d isjunção alternativa) , d efin ido s pela seguinte tabela: p q p # q p | q 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 12/06/09 Prof. Celso A A Kaestner
53.
54. p q =(( p # q ) # ( q # q )) , pode-se definir os conectivos e a partir de # , e obter os demais conectivos a partir desses. Deve-se comprovar que as tabelas-verdade que são obtidas coincidem com as previamente conhecidas. Reciprocamente, os conectivos # e | podem ser definidos por: p # q = ( p q ) e p | q = ( p q ) : 12/06/09 Prof. Celso A A Kaestner