Interpretação intuitiva do post anterior

Podemos então explicar o que significa e pra que servem as fórmulas dadas no post anterior.

Na matemática temos em cada teoria um conjunto de objetos, definições, relações e afirmações a respeito desses objetos. As fórmulas são sequências de caracteres que traduzem essas afirmações.
Introduzimos a interpretação intuitiva dos símbolos.
Sejam P e Q afirmações quaisquer.
AxP - Significa que para qualquer valor que se atribua a x a afirmação P(x) será verdadeira.
Por exemplo, no universo dos homens, se P(x) for a afirmação x é mortal, teremos P(x) será verdadeiro para qualquer valor que se atribua a x, portanto vale AxP (no caso a afirmação se interpreta como: Todo homem é mortal).
ExP - Significa que para pelo menos um valor no universo de sua teoria que se atribua a x a afirmação P(x) será verdadeira. Por exemplo, no universo dos mamíferos, se a afirmação O(x) significa que x põe ovos, temos que a afirmação ExO será verdadeira, pois O(x) é verdadeira se x=ornitorrinco.


To be continued...
.₢