Ahoj, mohl by mi někdo prosím poradit, jak mám udělat důkaz následující věty? Jestliže přímka p je rovnoběžná s přímkou q a zároveň q je rovnoběžná s přímkou r, pak p je rovnoběžná s r. Díky za pomoc.
Ahoj, ja myslim, ze pujde spis o cviceni ve formalni logice. Z jakeho axiomatickeho systemu se vychazi? Jsou nejaka dalsi tvrzeni, ktera mame dovoleno pouzivat bez dukazu?