petitio principii (HOL)
petitio principii (lat.), logička pogrješka u dokazivanju, pozivanje na ono što tek treba dokazati.
...
HE HOL2 HOL
quod erat demonstrandum (HOL)
quod erat demonstrandum (lat.: što je trebalo dokazati), lat. verzija Euklidovih riječi ...
HE HOL
upit: petitio principii; pronađenih odgovora: 2; vrijeme izvršavanja upita: 253 ms