• 0 Posts
  • 18 Comments
Joined 1 year ago
cake
Cake day: August 2nd, 2023

help-circle






  • apolo399@lemmy.worldtoScience Memes@mander.xyz1 + 1
    link
    fedilink
    English
    arrow-up
    9
    ·
    2 months ago

    No, it’s correct. You define the operation by it’s properties. It’s not saying that “a plus 0 = a” but “the result of applying the binary operation ‘+’ to any number with 0 should give the original number.”

    • is just a symbol. You could instead write it as +(a,0)=a and +(a,S(b))=S(+(a,b)).

    You have to have previously defined 1=S(0), 2=S(1), 3=S(2), and so on.











  • apolo399@lemmy.worldtoMemes@lemmy.mlTotally make sense
    link
    fedilink
    arrow-up
    5
    arrow-down
    1
    ·
    1 year ago

    This isn’t entirely true either. The adjective “binario” has to agree with the gender of what’s being talked about, either the grammatical gender of the noun or the natural gender of the person. A salient example could be the noun “piloto”. Just as adjectives inflect for gender so do pronouns, so you can say “el piloto” or “la piloto” depending on the natural gender of the person, and inflect adjectives accordingly. Grammatical gender and natural gender are both distict concepts that impact gender inflection in spanish.