Logische equivalentie - andere talen