Translation examples
Muita hyvin määriteltyjä kaavioja saadaan kokoamalla atomeja yhteen kvanttoreiden ja konnektiivien avulla.
All other well-formed formulae are obtained by composing atoms with logical connectives and quantifiers.
Fregen käyttämä notaatio poikkesi kuitenkin nykyisestä huomattavasti: hän käytti hyvin idiosynkraattista kaksiulotteista merkintätapaa, jossa konnektiivit ja kvanttorit on piirretty kaavoja yhdistävillä viivoilla, kun nykyään ne merkitään puolestaan sellaisilla symboleilla kuin ¬, ∧, ∨, ∃ ja ∀.
Frege presents his calculus using idiosyncratic two-dimensional notation: connectives and quantifiers are written using lines connecting formulas, rather than the symbols ¬, ∧, and ∀ in use today.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test