Matematické Fórum

Archiv diskusního fóra o matematice, 2006–2026

Toto je archiv Matematického Fóra. Fórum je dostupné jen ke čtení. Můžete se ale zaregistrovat na náš Discord server.

Stránky: 1

Téma zavřeno

#1 14. 04. 2012 15:02

tygrice
Zelenáč
Příspěvky: 6
Reputace:   0 
 

formalizace vet

Prosím o pomoc s formalizováním těchto vět:

Nehoda není náhoda.

Království za koně.

Dobře se oběsit je lepší, než se špatně oženit.

Offline

  • (téma jako vyřešené označil(a) jelena)

#2 14. 04. 2012 16:15

jelena
Jelena
Místo: Opava
Příspěvky: 30020
Škola: MITHT (abs. 1986)
Pozice: plním požadavky ostatních
Reputace:   100 
 

Re: formalizace vet

Zdravím, duplicitní téma je proti pravidlům.

Offline

 

Téma zavřeno

Stránky: 1

Archiv Matematického Fóra · stav k 30. 8. 2026 · 633 258 příspěvků v 108 818 tématech