🌐EnglishEnglishEspañolFrançaisItalianoPortuguêsРусский日本語EntityQ7856108· pop 6· linked from 65 articlesturnstileAlso known as tee, yields, proves, satisfies, entails, ⊢mathematical symbolAvailable in 6 languagesEspañolFrançaisРусскийPortuguêsGalicianvia Wikidata sitelinks · CC0ConnectionsHP-41CEntityX (social network)ConceptCategoriesDeductive reasoningLogical consequenceLogic symbolsMathematical logicMathematical symbolsProof theory