Please enable JavaScript.

Coggle requires JavaScript to display documents.

Logique - Coggle Diagram

- - - - Injectivité :
        Deux éléments différents envoient deux deux éléments différents
        y,x∈E : 𝑓(x)=𝑓(y) ⇒ x=y
      - Surjectivité :
        Tout les éléments ont au moins un antécédent
        ∀y∈F, ∃x∈E : 𝑓(x)=y
  - - - A,B⊂E : f̃(A∩B) ⊂ f̃(A)∩f̃(B)
- - - - Hérédité :
        A[n] ⇒ A[n+1]
        
        Conclusion:
        Initialisation + hérédité
        
        fin :)
- - - - Variables muettes :
        Si F≡F’ après changement de variable
      - Variables libres :
        Si F̸≡F’ après changement de variable