Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/5554
Title: | Some applications of propositional calculus |
Author: | Manfredini, Enrique H. Martins, Manuel A. |
Issue Date: | 2003 |
Abstract: | Neste trabalho pretendemos mostrar como as ferramentas do Cálculo Proposicional permitem resolver certos enigmas e problemas conhecidos de outras áreas da matemática - como a combinatória e a Investigação Operacional - unificando assim, num contexto comum, problemas aparentemente diversos. A forma simples e sistemática das resoluções mostra a utilidade de adoptar estes procedimentos na resolução destes problemas. A ferramenta que mais vezes vamos utilizar são as tabelas de verdade. Num caso menos elementar vamos também mostrar uma aplicação do Teorema da Compacidade do Cálculo Proposicional. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/5554 |
ISSN: | 0872-3672 |
Appears in Collections: | DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
aplicpc.pdf | Preprint | 135.34 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.