إذا وفقط إذا - لغات أخرى