🌐EnglishEnglishBahasa IndonesiaEspañolالعربيةفارسی한국어日本語EntityQ8851989· pop 11Category:Theorems in propositional logicWikimedia category