Semântica - CCE - Universidade Federal de Santa Catarina
Semântica - CCE - Universidade Federal de Santa Catarina
Semântica - CCE - Universidade Federal de Santa Catarina
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
combinarmos esses elementos da esquerda para a direita (ou seja, primeiro o argumento<br />
interno) através <strong>de</strong> duas aplicações funcionais.<br />
Essa apresentação da interpretação semântica é informal. Você <strong>de</strong>ve ter notado<br />
que nem mesmo <strong>de</strong>finimos o que é aplicação funcional. Nosso objetivo é apenas dar<br />
uma idéia <strong>de</strong> como funciona o processo <strong>de</strong> interpretação. Uma abordagem mais formal<br />
requer uma série <strong>de</strong> conceitos que não dispomos. Por exemplo, precisamos enten<strong>de</strong>r a<br />
relação <strong>de</strong> referência como funções e precisamos <strong>de</strong> um método para transformar<br />
funções <strong>de</strong> n-lugares em funções <strong>de</strong> um único lugar. Esse método foi inventado por um<br />
matemático chamado Schönfikeln, mas sua apresentação requer mais do que po<strong>de</strong>mos<br />
oferecer num manual introdutório.<br />
1. Faça a <strong>de</strong>rivação <strong>de</strong> ‘João o<strong>de</strong>ia Maria`<br />
2. Crie um mundo em que a sentença é falsa e outro, em que é verda<strong>de</strong>ira<br />
35