Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

Nejste přihlášen(a). Přihlásit

#1 15. 11. 2012 17:15 — Editoval Meglun (15. 11. 2012 17:17)

Meglun
Příspěvky: 341
Pozice: student
Reputace:   
 

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)

#2 15. 11. 2012 18:03 — Editoval ((:-)) (15. 11. 2012 18:04)

((:-))
Dana
Místo: Bratislava
Příspěvky: 6267
Reputace:   285 
 

Re: relační symbol

↑ Meglun:


Pozri:


http://forum.matweb.cz/upload3/img/2012-11/98891_Image%2B138.png

asi "odvoditeľná"


prevzaté z materiálu



Odkaz, strana 12

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson