[fmcmon]: https://fmc.imd.ufrn.br/
[aulabooks]: https://fmc.imd.ufrn.br/aulabook/
[fmcbook]: https://tsouanas.org/fmcbook

Desenvolvido pelo projeto [Monitoría FMCn][fmcmon].
Veja mais detalhes no site do projeto: fmc.imd.ufrn.br.
Veja também os outros [AulaBook™][aulabooks].

## 2023-09-28 (IM)*

Vamos 🎮︎? TBA.

<!--
Vamos 🎮︎? Baixe o [Lean 4](https://lean-lang.org/) e complete o jogo [ListNatGame](https://lcc.ufrn.edu.br/~isaacmsl/ListNatGame.lean).
-->

## 2023-09-27 (DT)*
Pendente.
<!-- Demonstre as seguintes proposições sobre conjuntos:
- $(\forall A,B)[B-A = B\cap A^c]$
- $(\forall A,B,C)[A\cup(B\cap C)=(A\cup B)\cap (A\cup C)]$
-->

## 2023-09-26 (DT)*
Pendente.
<!--
-Demonstre que os subgrupos de $(Z; +)$ são fechados pelo mdc.
-Demonstre que para todo $H ≤ (Z; +)$, existe $t \in Z$ tal que $H = tZ$.
-->

## 2023-09-25 (IG)
Definição de M.D.C nos inteiros.
Vamos demonstrar que para quaisquer $a, b$ se $a$ divide $b$ então o mdc de $a$ e $b$ é o $a$.

O mdc de $a, b$ é igual ao mdc de $a, (a+b)$.

## 2023-09-21 (IM)

Considere o $(A; ♡, κ)$ com a especificação seguinte, e demonstre que não tem como demonstrar a comutatividade de (♡), nem como refutá-la.

$(♡) : A × A → A$
$κ : A$
(Ass) : $(∀a,b,c)[ (a\ ♡\ b)\ ♡\ c = a\ ♡\ (b\ ♡\ c) ]$
(IdR) : $(∀a)[ a\ ♡\ κ = a ]$

*Dicas:*
- Modelo que satisfaz (♡)-comutatividade & modelo que não satisfaz (♡)-comutatividade;
- Seja econômico nos conjuntos, isto é, busque sempre os modelos com menos elementos possíveis;
- Em modelos maiores tente aproveitar um padrão na definição da (♡) com poucos elementos conhecidos.

## 2023-09-20 (DT)

- Defina a $length$ e a $++$ para listas de Nats.
- Demonstre que para todas $l$, $l'$ listas de naturais, temos $length(l++l')=length(l)+length(l')$.

## 2023-09-19 (DT)
Demonsre que a $\leq$ definida nos naturais é total.

## 2023-09-18 (IG)
(IDMa)
Aritmética modular.
Definição congruência modular.
$\equiv_m$ é uma relação de equivalência.

## 2023-09-13 (DT)
(IDMa)

Partindo dos 3 axiomas mutiplicativos (associatividade, comutatividade, identidade), 4 axiomas aditivos (associatividade, comutatividade, identidade, inversos) e do axioma da distributividade, demonstre que as seguintes são equivalentes:
- $(\forall a, b: Int)[ab=0 \implies a=0 \ ou \ b=0 ]$
- $(\forall a, b, c: Int)[ca=cb \implies c=0 \ ou \ a=b]$

Mostre os lemmas necessários.

## 2023-09-12 (DT)
(IRI)

A partir das definições recursivas de adição, multiplicação e exponenciação para os naturais, demonstre as seguintes proposições:

- $(\forall a, x, y: Nat)[a^{x+y} = a^{x}a^y]$
- $(\forall m: Nat)[m+0=0+m]$
- $(\forall a,b: Nat)[Sa+b=a+Sb]$
- $(\forall a,b: Nat)[a+b=b+a]$

## 2023-09-11 (DT)

Seja $\to$ uma relação no conjunto $\mathbb N$ definida pela:

- $a \to b \iff a + 1 = b$

Demonstre que $(\forall a,b,n \in \mathbb N)[a \to^n b \implies a + n = b]$.

**Definições**:
- $x(R \diamond S)y \iff (\exists w)[x \mathrel R w \mathbin\& w \mathrel S y]$
- Definimos a relação $R^n$ recursivamente pelas:
- $R^0 = (=)$
- $R^{n + 1} = R \diamond R^n$

**Exercício extra**: Demonstre que para todo $n$ natural maior ou igual a $1$, temos $3^n-2$ ímpar.

## 2023-09-06 (DT)
Demonstre que para todos naturais $n, x, y$ temos que ${(n^x)}^y=n^{xy}$.

## 2023-09-05 (DT)
Definimos a relação de ordem $\leq$ nos naturais pela:
- $n \leq m \iff (\exists k ∈ N)[ n + k = m ]$

a) Demonstre a seguinte proposição: $(\forall n,m)[n \leq Sm \iff n\leq m$ ou $n=Sm ].$

b) O que a $\leq$ precisa para ser considerada realmente uma ordem?

c) De que outra maneira poderia definir uma ordem nos naturais? Demonstre a "reflexividade da relação" para as duas definições propostas e compare as técnicas usadas para demonstrar em cada um dos casos.

## 2023-09-05 (DT)
Demonstre que para todo natural $n$ temos $(F_{n+1},F_{n})=1$.
- Definição:
- $F_0 = 1$
- $F_1 = 1$
- $F_{n + 2} = F_{n + 1} + F_n$

## 2023-09-05 (IM)

Funções. Sejam $n$ natural, e $f, g$ endomapas no $\mathbb{Z}$. Demonstre ou refute: $(f \circ g)^n = f^n \circ g^n$.

## 2023-09-01 (IG)
Trabalhando com a unicidade.
Definição de $\exists!$.

Seja $G$ um grupo (que raios é um grupo??), demonstre a unicidade do elemento neutro.
## 2023-08-30 (DT)
Seja $A$ um conjunto estruturado e $*$ uma operação binária e associativa no $A$, com identidade $u$. Demonstre que as seguintes definições de iterações são equivalentes:

Definição 1:

- $a^{*0} = u$ 
- $a^{*n+1} = a * a^{*n}$

Definição 2:

- $a_{*0} = u$
- $a_{*n+1} = a_{*n} * a$

Perceba contextos onde essa estrutura (associatividade e identidade da operação) é respeitada e portando as definições para iterações continuam equivalentes.

## 2023-08-29 (DT)
Demonstre que para todos $A, B, C$ conjuntos, se $A$ habitado e $A \subseteq B-C$ então $B\not\subseteq C$.

## 2023-08-29 (IM)

Relações. Seja $m : Int$. Demonstre que a $(≡_m) : Int \times Int \to Prop$ é uma relação de equivalência, isto é:

- $(≡_m)$ é reflexiva;
- $(≡_m)$ é transitiva; e
- $(≡_m)$ é simétrica.

Por fim, demonstre que $(≡_m)$ é uma congruência nos inteiros. Sejam $a, b : Int$.

- $(\forall x)[a + x ≡_m b + x]$ (garante (+))
- $(\forall x)[ax ≡_m bx]$ (garante (∙))
- $-a ≡_m -b$ (garante (-))

## 2023-08-28 (DT)

Dada a definição recursiva  de $\alpha$, demonstre que para todo $x \in \mathbb{N}$ temos que $\alpha(1,x)=x+2$.

Definição de $\alpha$:

- [A1] $\ \ \alpha(0,x) = x+1$
- [A2] $\ \ \alpha(n+1,0) = \alpha(n,1)$
- [A3] $\ \ \alpha(n+1, x+1) = \alpha(n, \alpha(n+1,x))$

## 2023-08-25 (IG)
Os inteiros e sua interface.

$\theta. \text{Unicidade dos inversos}$
$(\forall a, b : Int)[a+b = 0 \implies b = -a]$

## 2023-08-24 (IM)

Introdução às relações.
Demonstre que a $(|) : Int \times Int \to Prop$ é uma pré-ordem.

## 2023-08-22 (DT)

Seja $f: A \to A$ e $x \in A$, demonstre que um $x$ é um fixpoint da $f$ sse para todo $n \in \mathbb{N}$, $x$ é um fixpoint da $f^n$.

## 2023-08-22 (DT)

Para todo $a, b, c \in \mathbb{Z}$, se $a\ |\ b$ e $a\ |\ c$ então $a\ |\ b + c$.
## 2023-08-22 (IM)

Indução. Nos naturais, definiremos as operações (+), (∙) e demonstraremos as seguintes:

- (+) é associativa
- (∙) é comutativa

## ~~2023-08-18 (IG)~~
Demonstre a regra de "passar para o outro lado":
$$(\forall a, b, c : \text{Int})[a + b = c \iff a = c - b]$$

## 2023-08-17 (IM)

Vamos brincar de indução. Demonstre as seguintes:

- "A soma de Gauss" vale. Isto é, para todo natural $n$, $\sum\limits_{i=1}^{n}i = \dfrac{n(n+1)}{2}$;
- Todo inteiro maior ou igual à 8 pode ser escrito da forma 3x + 5y.