Logische implicatie - andere talen