Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1047
Título: Lógica dos predicados
Tipo: Apresentacao
Autor(es): Levada, Alexandre Luis Magalhães
Palavras-chave: Lógica de predicados;Lógica de primeira ordem;Quantificador existência;Quantificador universal;Variável;Lógica proposicional
Data do documento: 10-Dez-2012
Resumo: Apesar de poderosa, a lógica proposicional não é suficiente para representar toda a base de conhecimento a respeito da resolução de problemas, assim neste conjunto de slides são apresentados os conceitos da lógica de predicados. Faz-se a identificação da lógica proposicional como um fragmento da lógica de predicados. Estuda-se a escrita de proposições e sentenças nesta lógica, bem como a negação de fórmulas quantificadas.
URI: http://livresaber.sead.ufscar.br/handle/123456789/1047
Curso: Sistemas de Informação
Disciplina: Fundamentos de Lógica Matemática
Duração: 20 slides
Aparece nas coleções:Textos e apresentações

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Fundamentos Lógica Matemática_Lógica dos predicados.pdf319,83 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais



Este item está habilitado sob uma Licença Creative Commons Creative Commons