AULA 2

22 Setembro 2017, 09:30 Fernando Ferreira

Símbolos funcionais e sua aridade. O papel semântico dos símbolos funcionais papel é exprimir funções (do domínio do discurso para o domínio do discurso). A noção (sintática) de termo fechado duma linguagem da LPO. O papel semântico dos termos fechados é denotar um objeto do domínio do discurso. A noção (sintática) de sentença atómica duma linguagem da LPO. O papel semântico das sentenças é ter uma valor de verdade (verdadeiro ou falso).