Alguns resultados
Proposição
Se $a$ e $b$ são nomes e $\varphi$ é uma fórmula então
Para conseguirmos mostrar os próximos resultados vamos fazer algumas definições:
- $|\exists y \in \dot{x} \varphi(y)| = \sup_{t}|t \in \dot{x} \wedge \varphi(t)|$
- $|\forall y \in \dot{x} \varphi(y)| = \inf_{t}|t \in \dot{x} \Longrightarrow \varphi(t)|$
- Seja $F:A\times A \Rightarrow A$ e sejam $X,Y \subset A$, temos que $\sup_{x \in X}\cdot\sup_{y \in Y}F(x,y)=\sup_{y \in Y}\cdot\sup_{x \in X}F(x,y)$
Proposição
$[\![ \exists y \in \dot{x} \varphi(y) ]\!] = \sup_{y \in \text{dom}(\dot{x})} \dot{x}(y) [\![ \varphi(y) ]\!]$ Solução
Proposição
$[\![ \forall y \in \dot{x} \varphi(y) ]\!] = \inf_{y \in \text{dom}(\dot{x})}(\dot{x}(y)\Longrightarrow [\![ \varphi(y) ]\!])$ Solução