الگو:Eqv
ظاهر
See also
[ویرایش]الگو | نماد/ نتیجه |
اصطلاح با ویکیلینک |
---|---|---|
{{All}} | سور عمومی | |
{{And}} | عطف منطقی | |
{{Eqv}} | همارزی منطقی | |
{{Exist}} | سور وجودی | |
{{False}} | کذب | |
{{Ident}} | اگر و تنها اگر | |
{{Imp}} | → | شرطی مادی |
{{In}} | عنصر |
الگو | نماد/ نتیجه |
اصطلاح با ویکیلینک |
---|---|---|
{{Models}} | Double turnstile | |
{{Nand}} | ↑ | خط شفر |
{{Nor-}} | ↓ | نقیض یا |
{{Not}} | نقیض | |
{{Or-}} | فصل منطقی | |
{{Tee}} | Turnstile | |
{{True}} | Logical truth | |
{{Xor}} | یای انحصاری |