🌐ItalianoEnglishEspañolItalianoفارسی한국어中文日本語EntityQ5159270· pop 6· linked from 59 articlesDimostrazione condizionaleformal proofAvailable in 6 languagesEspañolItalianoGalicianفارسی한국어via Wikidata sitelinks · CC0ConnectionsmathematicsEntitymathematical logicEntityCategoriesConditionalsLogicMathematical proofsMethods of proof