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.