Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 15. 11. 2012 17:15 — Editoval Meglun (15. 11. 2012 17:17)
relační symbol
Ahoj, prosím vás, kde se můžu dozvědet více o tomto symbolu: ⊢
Narazil jsem na něj u predikátové logiky, ale není u něj uvedeno jak se čte a co znamená...děkuji
např.: např.: T ⊢ A => B
Společnost tě může připravit o všechno, ale to co máš v hlavě, ti nikdo neveme.
Offline
- (téma jako vyřešené označil(a) Meglun)
