12.04.2013 Views

Semântica - CCE - Universidade Federal de Santa Catarina

Semântica - CCE - Universidade Federal de Santa Catarina

Semântica - CCE - Universidade Federal de Santa Catarina

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!