DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Artigos >
 Some applications of propositional calculus
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/5554

title: Some applications of propositional calculus
authors: 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.
URI: http://hdl.handle.net/10773/5554
ISSN: 0872-3672
source: Boletim Sociedade Portuguesa de Matemática
appears in collectionsMAT - Artigos

files in this item

file description sizeformat
aplicpc.pdfPreprint135.34 kBAdobe PDFview/open
statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2