Question

1+1 pfv mi ajudem ✊✊✊

Answer 1

de acordo com meus cálculos creio que seja 2

Answer 2

O Principia Mathematica de Whitehead e Russell é famoso por levar mil páginas para provar que $1+1=2$. Claro, isso prova muitas outras coisas também. Se eles quisessem provar apenas que $1+1=2$, provavelmente teria levado apenas metade do espaço.

Por exemplo, a seção ∗22, "Cálculo de Classes", começa definindo a relação de subconjunto (∗22.01), e as operações de união e interseção de conjuntos (∗22.02 e .03), o complemento de um conjunto (∗22.04) , e a diferença de dois conjuntos (∗22,05). Em seguida, prova a comutatividade e associatividade da união de conjuntos e interseção de conjuntos (∗22.51, .52, .57 e .7), várias propriedades como $\alpha \cap \alpha =\alpha \:$ (∗22.5) e similares, trabalhando até teoremas como ∗ 22.92: $\alpha \subset \beta \rightarrow \alpha \cup \left(\beta -\alpha \right)$.

A seção ∗23 é "Cálculo de Relações" e começa quase exatamente da mesma maneira, definindo a relação de sub-relação (∗23.01), e as operações de união e interseção relacional (∗23.02 e .03), o complemento de uma relação (∗ 23.04), e a diferença de duas relações (∗23.05). Mais tarde, prova a comutatividade e associatividade da união e interseção relacional (∗23.51, .52, .57 e .7), várias propriedades como $\alpha\dot{ \cap } \alpha =\alpha$ (∗22.5) e similares, trabalhando até teoremas como ∗ 23.92: $\alpha \dot{\subset }\beta \rightarrow \alpha \dot{\cup }\left(\beta \dot{-}\alpha \right)$.

Foi assim que Whitehead e Russell fizeram em 1910. Como faríamos isso hoje? Uma relação entre $S$ e $T$ é definida como um subconjunto de $S\times T$ e, portanto, é um conjunto. União, interseção, diferença e outras operações são precisamente as mesmas para as relações e para os conjuntos, porque as relações são conjuntos. Todos os teoremas sobre uniões e interseções de relações, como $\alpha\dot{ \cap } \alpha =\alpha$, simplesmente desaparecem, porque já os provamos para conjuntos e relações são conjuntos. A relação nula é o conjunto nulo. A relação universal é o conjunto universal.

Uma enorme quantidade de outras máquinas desaparece em 2006, por causa da unificação de relações e conjuntos. Principia Mathematica precisa de uma notação especial e uma definição especial para o resultado de restringir uma relação àqueles pares cujo primeiro elemento é membro de um determinado conjunto $S$, ou cujo segundo elemento é membro de $S$, ou ambos cujos elementos são membros de $S$; em 2006, usaríamos apenas a operação comum de interseção de conjuntos e falaríamos sobre $R\cap \left(S\times B\right)$ ou qualquer outra coisa.

Whitehead e Russell não puderam fazer isso em 1910 porque faltava uma peça crucial do maquinário: o par encomendado. Em 1910, ninguém sabia como construir um par ordenado apenas com lógica e conjuntos. Em 2006 (ou mesmo 1956), definiríamos o par ordenado $< a,\:b >$ como o conjunto {{a}, {a, b}}. Então mostraríamos como um teorema que $< a,\:b > = < c,\:d >$ se e somente se $a=c$ e $b=d$, usando propriedades de conjuntos. Então definiríamos $A\times B$ como o conjunto de todos os p tais que $p= < a,\:b > \wedge a\in A\wedge b\in B$. Então definiríamos uma relação nos conjuntos $A$ e $B$ como um subconjunto de $A\times B$ . Então teríamos todos ∗23 e ∗25 e muitos ∗33 e ∗35 e ∗36 de graça, e provavelmente muitas outras coisas também.

Não há pares ordenados no Principia Mathematica, exceto implicitamente. Quase não há conjuntos. Whitehead e Russell querem basear tudo na lógica. Para Whitehead e Russell, a noção fundamental é a "função proposicional", que é uma função φ cuja saída é um valor de verdade. Para cada uma dessas funções, existe um conjunto correspondente, que eles denotam por $\^{x}\phi \left(x\right)$, o conjunto de todos os $x$ tais que $\Phi \left(x\right)$ é verdadeiro. Para Whitehead e Russell, uma relação é implicada por uma função proposicional de duas variáveis, análoga à forma como um conjunto é implicado por uma função proposicional de uma variável. Em 2006, dispensamos as "funções de duas variáveis", e falamos apenas de funções cujo argumento (único) é um par ordenado; uma relação torna-se então o conjunto de todos os pares ordenados para os quais uma função é verdadeira.